论文部分内容阅读
基于逻辑程序及其稳定模型的理论，提出一种源程序语义检测的稳定模型分析方法。该方法从源程序中提取关键语句图，将安全知识规则转换为一个逻辑程序，再用关键语句图去实例化该逻辑程序，最后求解其稳定模型得到源程序的安全性评价。该方法体现了源程序丰富的语义，具有较好的可扩展性。
源程序语义检测的稳定模型分析方法
【摘 要】
：
基于逻辑程序及其稳定模型的理论，提出一种源程序语义检测的稳定模型分析方法。该方法从源程序中提取关键语句图，将安全知识规则转换为一个逻辑程序，再用关键语句图去实例化该逻
【机 构】
：
武汉大学软件工程国家重点实验室／计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2006年15期
【基金项目】
：
国家自然科学基金资助重大项目（90204011）,湖北省科技攻关计划课题（2004AA101C01）
其他文献
采用最大分类树作为分析经验风险与结构风险的工具，对决策树分类准确率极限进行了研究。针对决策树模型的分类效果难以客观评价的问题，讨论了决策树分类准确率极限的存在条件，给
暴力破坏村民自治选举,打伤竞争对手,自封村委会主任;威胁逼迫村支书辞职,却被上级任命为村支书。被村民称为＂皇上＂的村支书被抓后,新任乡党委书记春节前又大张旗鼓去他家慰问
近几年来,伴随着西部大开发进程的加快,西部高职教育也获得迅速发展。西部大开发给西部高职院校带来新的发展机遇,同时也提出了新的挑战。它要求西部高职院校不仅要有量的扩
由于建模语言和程序设计语言之间缺乏准确的映射机制，UML二元关系的存在为设计到实现的自动转换造成了许多困难。解决问题的关键在于如何定义一种规范化的方法，用于在程序设计
Electrospray (ES) is of great interest in research for its finely controlled delivery of molecules. This study investigated mechanisms involved in the electrosp
为了提高结算审核在工程造价方面的的作用,实现企业的经济效益,需要多方共同努力。文章根据建筑行业工程造价结算审核工作中出现的问题,提出了相应的解决方案,希望为建筑行业
依托某城市地下通道工程,基于大型通用有限元软件ABAQUS,建立了通道—路基结合部无损路面的三维有限元模型,研究了软土地基上通道与路基结合部位的力学响应。针对通道与路基
在信息化战争中,后勤运输保障举足轻重。根据部队运输需求,制定出科学合理的运输车编配结构对于提高部队公路运输保障能力具有重要的指导意义。分析了我军运输车编配存在的问