一类恶意代码检测算法可靠性与完备性证明

• 作者: 刘粉林 曾颖
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 恶意代码检测 抽象解释 代码迷惑 可靠性 完备性
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 85-90
• 分类号: TP301
• 字数: 9029字
• 语种: 中文

摘要

代码迷惑可以使恶意代码绕过基于特征匹配的恶意代码检测器的检测.本文利用抽象解释理论,从程序语义的角度对高鹰等人提出的基于语义的恶意代码检测算法处理代码迷惑的能力进行了分析.在对该算法形式化描述的基础上,建立了一个与其等价的基于迹语义的检测器,并通过证明基于迹语义的检测器对于保持变体关系的代码迷惑算法的谕示可靠性和谕示完备性,从理论上阐述了高鹰等人的恶意代码检测算法的谕示可靠性和谕示完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾颖	信息工程大学信息工程学院	5	36	3.0	5.0
2	刘粉林	信息工程大学信息工程学院	22	130	6.0	11.0