Internet蠕虫传播建模、分析和控制策略的研究.pdf

Study on Modeling, Analysis and Control Strategies of the Internet Worm Propagation A Thesis Submitted to Chongqing University in Partial Fulfillment of the Requirement for the Doctor ’s Degree of Engineering By Feng Liping Supervised by Prof. Liao Xiaofeng Specialty: Computer Science and Technology College of Computer Science of Chongqing University, Chongqing, China April 20 13 中文摘要 摘 要 随着互联网的迅速发展以及网络复杂性的不断增加，网络安全问题日益严重。 其中，蠕虫以其传播速度快、影响范围大、破坏力强等特点已经成为目前互联网 面临的最为严重的安全威胁之一。例如，在 2009 年初爆发的 Conficker 蠕虫感染 了大约900 万～1500 万台机器，并且关闭了政府部门和医疗机构的一些重要服务 器。不仅如此，该蠕虫还构建了一个庞大的Peer-to-Peer (P2P)僵尸网络。僵尸网络 是由若干僵尸节点组成的、被攻击者控制的网络攻击平台。它是由传统恶意代码 进化而来的一种新型的网络攻击方式，近年来已经被越来越多地用来实施网络攻 击，给网络安全带来了新的严峻挑战。 准确掌握蠕虫传播机理是预防和控制蠕虫在网络中大规模爆发的基础，对网 络信息安全管理有非常重要的现实意义。针对现有模型的不足，本论文通过全面 分析影响蠕虫传播的各种因素，建立了更加准确的蠕虫传播模型，并且分析了蠕 虫传播的动力学行为，为预防和控制蠕虫的爆发提供了良好的理论基础。另一方 面，通过研究P2P 僵尸网络的形成过程，建立了蠕虫型P2P 僵尸网络的传播模型 并且分析了不同参数对模型的影响。主要研究成果如下： ① 通过综合考虑影响蠕虫传播的网络因素和人为因素，建立了一个具有混合 免疫策略的蠕虫传播模型—SIRS 模型。 ② 基于建立的 SIRS 模型，运用稳定性和分岔理论分析了蠕虫传播的动力学 行为。具体地说，通过分析线性化方程对应的特征方程的特征值的分布范围，研 究了具有混合免疫策略的SIRS 模型的Hopf 分岔。利用时滞作为分岔参数，得出 了依赖于时滞的线性稳定性判据，进而研究发现当时滞经过一个临界值时出现 Hopf 分岔。进而，利用中心流形定理和规范型理论，确定了Hopf 分岔的方向和分 岔周期解的稳定性。 ③ 详细分析了蠕虫的不同扫描策略，并且模拟了理想情况下采用不同扫描策 略的蠕虫传播性能。建立了一个具有变化感染率的蠕虫传播模型，以此模型为基 础，得出了影响蠕虫传播全局动力学的因素—基本再生数。进一步，通过稳定性 理论分析了免疫平衡点的局部和全局稳定性，利用时滞作为分岔参数获得了流行 病平衡点附近出现Hopf 分岔的条件。最后用Matlab 模拟了感染率大小对蠕虫传播 规模的影响程度，并且给出了相应的控制策略。 ④ 根据 P2P 僵尸网络的形成过程构建了蠕虫型 P2P 僵尸网络的传播模型— “微观模型”和“宏观模型”。基于这两个模型，通过详细的数学分析得到了P2P 僵尸网络灭绝与否的阈值—基本再生数。研究了不同参数对模型的影响，尤其是 I 重庆大学博士学位论文 网络中采取免疫措施的节点比例对模型的影响。使用Matlab 进行数值模拟，验证 了理论分析的正确性。 关键词：网络蠕虫，传播模型，稳定性，Hopf 分岔，僵尸网络