论文部分内容阅读
传染性是计算机病毒程序最本质的特征。本文通过对计算机病毒程序传染部分代码结构特点的分析研究,找到传染模块中相对稳定的病毒表达模式。对这些模式提出了一种面向对象定义的形式化描述方法,该方法采用三层框架结构,准确、完整地描述了病毒程序传染行为的典型特征。这种形式化描述法为病毒的检测和识别,尤其是新型病毒的有效检测提供了一条新的途径。