10.3969/j.issn.1671-1122.2012.12.007
基于XML的面向二进制漏洞模式形式化描述研究
研究人员通过深入分析大量已公开漏洞的触发成因,将存在安全缺陷的代码抽象为漏洞模式.二进制静态漏洞挖掘技术的核心思想,就是在对二进制程序反汇编得到汇编代码的基础上,以漏洞模式为指导进行安全缺陷检测.文章对缓冲区溢出漏洞、数组越界漏洞、写污点值到污点地址漏洞模式进行了总结,并使用XML对漏洞模式作了形式化描述.
二进制、静态漏洞挖掘、漏洞模式、XML
TP393.08(计算技术、计算机技术)
2012-12-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
21-24