论文部分内容阅读
文章介绍了Fred Cohen关于计算机病毒准确检测不可判定的观点,并对这一观点进行了分析,认为不可判定的前题条件是不成立的,因而其观点是不正确的。笔者认为:1)计算机病毒准确检测是可判定的,其理论依据是隔离法能在实践中精确实施;2)病毒的外观和行为是有密切联系的;3)病毒与病毒演化体的等价性问题属于程序等价性问题。最后,根据可判定性的观点,给出了在微型计算机上建立判定过程的方法和过程。