论文部分内容阅读
针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性。实验结果表明,改进后的方法比原检测方法具有更高的效率和准确性。
改进的程序时序安全属性模型检测技术
【摘 要】
：
针对程序时序安全属性模型检测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率。在检测过程中加入别名分析,考虑安全操作
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系,上海市信息安全综合管理技术研究重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2011年7期
【基金项目】
：
国家自然科学基金资助项目（60773170 60721002 90818022）, 国家“863”计划基金资助项目（2006AA01Z432）, 高等学校博士学科点专项科研基金资助项目（200802840002）, 上海市信息安全综合管理技术研究重点实验室开放课题基金资助项目（AGK2008003）
其他文献
适应值函数的设计是决定测试数据生成质量和效率的关键,为此提出一种重叠路径结构,对程序路径进行描述,并设计基于遗传算法全路径比较的路径测试数据生成适应值函数。为测试
最近二十年,以上海和深圳两大证券交易所的开幕为契机,中国的金融市场发生了翻天覆地的变化。金融相关行业,银行,证券,保险分别都有了一套完整的监管体系,行业人才也在日益增
标的资产服从跳扩散过程的期权定价作为不完备市场上期权定价的一个重要方向,有着其独特优势。多年来,人们对于跳跃的研究大多集中在跳跃分布的改进上,或者用跳跃分布结合随
RETROFITTING AN AUTOMATIC MANUFACTURING WORKCELL FOR STUDY OF OPEN ARCHITECTURE INTEGRATION OF MECHA
Research work on plug-and-play open architecture and object-oriented mechatronic system integration is described. The original controllers of two popular indust
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
猪肉价格的预测关乎到消费者和生产者的利益,因此受到广泛关注.基于数据挖掘中关联规则的理念,提出基于二维时间序列模式提取的猪肉价格波动预测方法,并对猪肉日价格数据进行
遗传与优生是助产专业中的一门重要必修医学基础课，该课程涉及的内容繁多、概念抽象。大专医学院校中普遍存在学生基础知识不牢固、理解能力差的问题，因此，课时和课程设置较为特
梁如洁是一位80后女大学生，依托家乡新昌得天独厚的大佛龙井茶叶资源，以5812元资金起步，在淘宝网上打造茶叶网销模式，不仅实现了自己的创业梦，也为茶农增收作出了努力。2008年，梁如
目的探讨应用MPT64作为快速检测结核分枝杆菌生长指示的可能性,以期建立一种准确、快速、简便、易于普及开展的结核分枝杆菌生长检测方法。方法应用BACTEC MGIT960分枝杆菌快