计算机病毒传播建模、的分析及控制.docx

Modeling, Analysis and Control of theSpread of Computer VirusA Thesis Submitted to Chongqing University inPartial Fulfillment of the Requirement for theDoctor’s Degree of EngineeringByChenquan GanSupervised by Prof. Xiaofan YangSpecialty: Computer Science and TechnologyCollege of Computer Science ofChongqing University, Chongqing, ChinaNov, 2015万方数据万方数据中文摘要摘要在过去的几十年里，人们亲眼见证了互联网和无线网络的迅速普及。然而，这种迅速普及也极大提高了计算机病毒的传播能力。由于计算机病毒自身具有破坏性、多态性和不可预测性等一些显著性特点，它们早已成为现代信息社会的重要威胁之一。随着计算机技术和通信技术的快速发展，计算机病毒程序也变得越来越高端、其结构也变得越来越复杂，以至于相应的杀毒软件的开发周期也变得越来越耗时、开发的成本也越来越昂贵。更不幸的是，传统的一些计算机病毒防护措施，从防火墙到杀毒软件等都不能有效地控制计算机病毒在互联网上的快速传播。基于计算机病毒传播过程的动力学建模却是理解计算机病毒传播行为的一种很有效的方式。因为在此基础之上，人们可以提出一些有效的保护措施来防止受到计算机病毒的感染。本学位论文旨在基于计算机病毒传播机制建立合理的动力系统模型，从理论和实验上分析所提模型的全局动力学性质，进而根据取得的研究成果制定一些行之有效的措施来控制计算机病毒的传播。本论文所做的主要工作如下：①研究了两类具有线性接种率和线性感染率的SIRS（susceptible-infected-recovered-susceptible）模型。首先，对一类具有线性接种率和线性感染率的 SIRS模型的动力学行为进行了分析。在此基础上，又把该模型拓展到了一般非线性接种率和一般非线性感染率的情形。新模型的两个平衡点的全局稳定性都得到了证明。②考虑了一个基于外部有毒计算机和有毒移动存储介质影响的 SIRS模型。从理论和实验上都表明了该模型只有唯一的平衡点，且该平衡点具有全局渐近稳定性。同时，也给出了一个关于如何控制计算机病毒传播的结论。③提出了一个基于外部有毒计算机和杀毒软件影响的 SLBRS（susceptible-latent-breaking-recovered-susceptible）模型，并进行了理论分析。该模型的唯一平衡点是全局渐近稳定的。一些数值实验不仅验证了该结论，还显示了外部有毒计算机和杀毒软件对计算机病毒传播的影响。④研究了两类具有外部仓室的 SIES（susceptible-infected-external-susceptible）模型。首先，建立了一个同构的 SIES模型。该模型的定性分析表明唯一的平衡点是全局渐近稳定的。此外，通过采取有效的措施，受感染的计算机数量是可以低于可接受阈值的。基于该同构模型，提出了一个基于网络拓扑结构对计算机病毒传播影响的异构 SIES模型。该模型只具有一个平衡点，且平衡点是全局渐近吸引的。该结论也通过数值实验进行了说明。此外，理论和实验结果还表明节点度数I万方数据重庆大学博士学位论文高的计算机比节点度数低的计算机更容易感染计算机病毒。对此，推荐了一些关于计算机病毒控制的有效措施。关键词：计算机病毒，传播模型，平衡点，全局稳定性，全局吸引性，控制讨论II万方数据英文摘要ABSTRACTThe past few decades have witnessed a rapid popularization of the Internet andwireless networks. This popularization, however, also greatly enhances the propagationcapability of computer viruses. Due to their striking features such as destruction,polymorphism, and unpredictability, computer viruses have come to be one major threatto the contemporary information society. With the rapid progress of computer andcommunication technologie