摘要
文章介绍了Fred Cohen关于计算机病毒准确检测不可判定的观点,并对这一观点进行了分析,认为不可判定的前题条件是不成立的,因而其观点是不正确的。笔者认为:1)计算机病毒准确检测是可判定的,其理论依据是隔离法能在实践中精确实施;2)病毒的外观和行为是有密切联系的;3)病毒与病毒演化体的等价性问题属于程序等价性问题。最后,根据可判定性的观点,给出了在微型计算机上建立判定过程的方法和过程。
This paper introduces Fred Cohen's opinions that detection of computer virus can not be precisely determined. After a thorough study of this opinion, it is concluded that the foundation of this opinion can hardly exist, and therefore Fred Cohen's opinion are not correct. This paper leads to the points: 1). Detecting precisely the computer virus is determinable, which is based on the theory that the sepera-tion method can be precisely carried out in practice; 2). There is a close relation between the outlook and the actual effects of virus and 3). The equivalence problem of virus and its evolution is part of the equivalence problem of program. Based on the idea of determinacy, this paper suggests the method to build the procedure for detecting virus for micro computers.
出处
《江汉石油学院学报》
CSCD
北大核心
1991年第1期74-76,共3页
Journal of Jianghan Petroleum Institute
关键词
计算机病毒
检测准则
computer virus
program testing
test criteria
diagnosis
program analysis
protection system
procedure analysis
equivalence problem
