中文会议： 计算机科学、燕山大学学报

会议日期： 2005-08-05

会议地点： 秦皇岛

主办单位： 中国计算机学会

作　　者： ; ; ;

机构地区： 国防科学技术大学计算机学院

出　　处： 《2005年全国理论计算机科学学术年会》

摘　　要： 本文借鉴Cohen模型的原有优点,提出了一种更加贴近实际的通用图灵机病毒模型,并在此基础上证明了病毒的判定性定理,显示了该模型的合理性.

关 键 词： 计算机病毒 病毒判定 图灵机

分 类 号： [TP]

领　　域： [自动化与计算机技术]