基于抽象解释理论抽取多态恶意程序特征码

摘要：

抽象解释理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近程序不动点语义的理论.文章将该理论应用于恶意程序特征码抽取,通过详细描述抽取过程的各个步骤,提出了一种专门针对多态恶意程序的检测方法,从而为恶意程序检测开辟了新的思路.实践证明所述方法准确、高效.

关键词：抽象解释、多态恶意程序、特征码、变形器、解码器、程序逻辑

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

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

页数：共3页

页码：16-18