基于谓词时序逻辑的恶意代码行为描述及检测

摘要：

基于行为的判别已成为恶意代码检测技术研究的主流方向,现有方法容易受到拟态攻击或影子攻击的影响.针对这些问题,提出了一种全新的使用谓词时序逻辑描述恶意代码行为的方法,该方法能够同时刻画一组函数调用之间的逻辑组合、时序、参数依赖和主客体关联等关系,因此能更准确细致地描述恶意代码行为.在此基础上,提出了相应的恶意行为检测算法,通过实例测试验证了该方法的有效性.

关键词：行为、逻辑、恶意代码

所属期刊栏目：40

分类号：TP393.08(计算技术、计算机技术)

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

页数：共4页

页码：116-119