z86可执行程序时序安全漏洞检验方法

摘要：

给出了对静态检查可执行程序时序安全漏洞中的2个主要问题的研究结果：1)2种新的时序安全漏洞模型；2)建立二进制程序的下推自动机方法。实验证明该方法可以有效地辅助在可执行程序中验证和发现时序安全漏洞。

关键词： 信息安全 安全漏洞 时序属性 漏洞检验 静态检查 可执行程序

作者: 李佳静 韦韬 毛剑

作者单位: 北京大学 计算机科学技术研究所，北京 100871

会议类型: 国内会议

会议名称: 第一届中国计算机网络与信息安全学术会议

会议地点: 西安

会议语种:中文

页码: 98-102

在线出版日期: 2007-11-17（万方平台首次上网日期，不代表论文的发表时间）