摘要
计算机病毒是一类很常见的信息安全威胁。本文讨论了病毒的工作原理和检测病毒的常用技术。然后提出了一种基于自我复制行为的病毒检测方法,用图灵机模型给出了形式化的描述,并定性地证明了这种方法可以在图灵机的计算能力范围内自动进行。
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.
出处
《微电子学与计算机》
CSCD
北大核心
2005年第11期33-34,38,共3页
Microelectronics & Computer
基金
国家科技部"863"项目(2001AA141070)
关键词
计算机病毒
入侵
检测
反病毒
Computer virus, Intrusion, Detection, Anti-virus