论文部分内容阅读
传播是计算机病毒最为本质的特征，与此最为相关的就是病毒清除。该文在给出有关计算机系统和计算机病毒形式化描述的基础上，根据病毒传播的实际特性获得传播的基本模型，并且通过化简求解和证明病毒传播的上下敢限。然后文章分析病毒在自由传播、持续受限和瞬间受限等情况下的行为，讨论病毒传播和清除的代价问题，说明只有通过持续进行清除才能将病毒限制在一定的水平。最后文章指出模型尚且存在的不足和今后研究的重点。