z86可执行程序时序安全漏洞检验方法 | |
李佳静 ; 韦韬 ; 毛剑 | |
2007 | |
关键词 | 信息安全 安全漏洞 时序属性 漏洞检验 静态检查 可执行程序 |
英文摘要 | 给出了对静态检查可执行程序时序安全漏洞中的2个主要问题的研究结果:1)2种新的时序安全漏洞模型;2)建立二进制程序的下推自动机方法。实验证明该方法可以有效地辅助在可执行程序中验证和发现时序安全漏洞。; 0 |
语种 | 中文 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/281882] ![]() |
专题 | 计算机科学技术研究所 |
推荐引用方式 GB/T 7714 | 李佳静,韦韬,毛剑. z86可执行程序时序安全漏洞检验方法. 2007-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论