改进的程序时序安全属性模型检测技术

摘要：

针对程序时序安全属性模型栓测技术改进模型检测算法,使安全漏洞状态机以函数为单位进行扩展,简化程序模型检测过程,以提高检测效率.存检测过程中加入别名分析,考虑安全操作之间的数据流依赖关系,以提高检测的准确性.实验结果表明,改进后的方法比原检测方法具有更高的效率和准确性.

关键词：时序安全属性、模型检测、别名分析

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60773170,60721002,90818022;国家"863"计划基金资助项目2006AA01Z432;高等学校博士学科点专项科研基金资助项目200802840002;上海市信息安全综合管理技术研究重点实验室开放课题基金资助项目AGK2008003

在线出版日期：2011-07-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：28-30