【摘要】 计算机病毒是一类很常见的信息安全威胁。本文讨论了病毒的工作原理和检测病毒的常用技术。然后提出了一种基于自我复制行为的病毒检测方法,用图灵机模型给出了形式化的描述,并定性地证明了这种方法可以在图灵机的计算能力范围内自动进行。更多还原

【Abstract】 Computer virus is one common information security threaten. This article discussed the principle of computer virus and virus detection technology. Then we introduced a virus detection method based on the self-reproduce behavior. We gave this method a formal description using the Turing Machine model, and qualitatively proved the method can work under the Turing Machine’s capability.更多还原