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

• 作者: 张志 张林 曾庆凯
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 时序安全属性 模型检测 别名分析
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 28-30
• 分类号: TP311
• 字数: 4499字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.07.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾庆凯	南京大学计算机软件新技术国家重点实验室	58	555	13.0	21.0
7	张林	南京大学计算机软件新技术国家重点实验室	13	183	6.0	13.0
11	张志	南京大学计算机软件新技术国家重点实验室	7	89	4.0	7.0