论文部分内容阅读
在计算机基础理论模型———图灵机模型的基础上 ,提出了一种扩展的通用图灵机 (EUTM)模型 ,这种模型突出了计算机病毒的传染特性 ,极大地简化了计算机病毒传染的形式描述 ,并根据EUTM模型给出了计算机病毒的形式定义 ,形式化描述了计算机病毒在单机和多机环境下的传染 最后指出了FredCohen关于病毒检测不可判定性定理证明的不足 ,并利用EUTM模型证明了病毒检测不可判定性定理