计算机病毒抽象理论及其描述语言的分析.pdf

摘要 摘要 计算机病毒抽象理论对于理解计算机病毒，研究计算机病毒的基本性质和数 学特征，以及指导反病毒实践有着重要意义。自从F.Cohen提出第一个基于图灵 机的计算机病毒抽象理论以来，若干重要的理论被提出、研究，得到了一些重要 的成果，其中最主要的结论有两个:一是关于所有可能计算机病毒的不可判定性， 另一个是存在不可检测的计算机病毒。但是，也应该注意到，随着对计算机病毒 的研究，发现这些抽象理论过于抽象，存在一些明显的不足。 首先，目前已有的关于计算机病毒的抽象理论，不管是基于图灵机，还是基 于递归函数论，对计算机病毒的定义都过于宽泛，把许多直觉上并不认为是计算 机病毒的程序，也包含在定义之内。其次，也许是更严重的问题，它们缺少相应 的抽象构造去描述特定种类的计算机病毒，因此无法对不同种类的计算机病毒的 基本性质进行研究。第三，已有的关于计算机病毒的抽象理论，对计算机病毒计 算复杂度的研究，几乎没有涉及，对计算机病毒的计算复杂度知之甚少。 计算机病毒描述语言随着反病毒实践的发展，出现在不同的反病毒软件中， 它们对于反病毒软件的灵活性以及计算机病毒知识的交流和积累起着重要的作 用。但是，目前大多数计算机病毒描述语言的语言构造相对简单，描述能力较弱， 往往需要低级语言的支持。另外，计算机病毒描述语言还远未形成一个业界认可 的标准。 本论文针对上述问题，对计算机病毒抽象理论及计算机病毒描述语言进行了 深入研究，取得了如下具有创新性的成果: 1.定义了程序的传染性，给出了一个严格的基于传染性的计算机病毒的抽 象定义;定义了程序的模拟性和00模拟性，并根据不同模拟性质给出了 计算机病毒的一个自然层次Vo,V,和VZ;严格证明了这个层次的严格包 含性，即Vo二l二vZ;证明了不同层次上计算机病毒的不可判定性，即 集合Vu,V,是,II完全集;集合VZ是I7,完全集。 2.给出了一个基于递归函数的抽象的计算机病毒描述框架;在这个框架内， 形式化描述了若千己发现的重要的计算机病毒类型，以及一些尚未发现 的计算机病毒类型;在此基础上，改进了F.Cohen和L.M.Adleman关 于计算机病毒的结论，证明了具有相同内核的同一类型计算机病毒的集 合(例如，所有具有相同内核的非驻留计算机病毒的集合D介d)是n2完 全集;证明了所有同一类型的计算机病毒的集合 (例如，所有非驻留计 算机病毒的集合D)是艺:完全集。 电子科技大学博士论文:计算机病毒抽象理沦及描述语言研究 3.研究了计算机病毒抽象的计算复杂度特征。不仅讨论了计算机病毒本身 的计算复杂度，而且讨论了计算机病毒检测的计算复杂度。证明了在理 论上存在计算机病毒，它的传染过程具有任意大计算复杂度;证明了存 在计算机病毒，它的执行过程具有任意大计算复杂度;证明了存在可判 定的计算机病毒，它的任何确切检测过程的计算开销在无限个点上大于 任意指定递归函数;证明了对于任意不可判定计算机病毒，存在一个具 有任意大计算复杂度的检测过程，。给出了极小检测过程的定义，并证明 了存在不可判定计算机病毒，它们没有极小检测过程。 4.设计了一个计算机病毒描述语言VDL，它能够在高级语言层次上描述计 算机病毒。论文详细研究了它的语法和语义，用BNF范式描述它的语法， 用自然语言描述它的语义，并给出详细的例子。 5.讨论了计算机病毒描述语言vDL的实现模型，介绍了它的编译实现，它 的语法成分与C语言成分的对应关系;介绍了病毒结构特征库的结构; 讨论了病毒检测的主流方法，如特征串扫描法和基子试探的一般解密法; 重点介绍了特征串扫描法中的WM算法;另外，对反病毒软件的典型结 构及文件病毒的检测流程做了简要介绍。 关键词:计算机病毒，抽象理论，计算复杂度，描述语言 摘要 Abst