节点配置下计算机多病毒传播浅析

摘要：以计算机病毒表现性质为背景，考虑到网络中计算机病毒的破坏性和计算机节点配置的差异，将被病毒感染的计算机节点分为高程度感染节点和低程度感染节点，且具有不同的恢复率，基于平均场理论，本文提出了一个SHLR（SusceptibleHighinfectedLowinfectedRecovery）病毒传播模型。计算模型的基本再生数和平衡点，利用Hurwitz原理判据证明了部分平衡点的局部稳定性，验证当基本再生数小于1时，无毒平衡点局部渐进稳定，当基本再生数大于1时，有毒平衡点局部渐进稳定。仿真结果和理论分析相一致，并得出控制病毒传播的预防措施。实验结果表明，提高计算机系统配置，可适当抑制病毒在网络中的传播。

关键词：HLR模型；基本再生数；平衡点；局部稳定性

现如今是计算机网络技术飞速发展的时代，病毒程序也得到发展，其与网络技术相同，也在不断地更新换代，病毒形式不断地变换，从而出现了感染力强、形式多样的新型病毒，它们入侵计算机系统的形式和途径也多种多样，目前为止，计算机病毒的种类繁多，常见的计算机病毒有黑客[1]、木马病毒[2]等。病毒感染造成的数据丢失，这些病毒对于计算机用户的个人信息安全及网络安全造成了严重威胁[3-4]。研究人员已经进行了相关的研究，揭示了病毒传播的内在规律。根据病毒的性质，文献[7]根据病毒具有潜在性，考虑了带有用户意识的计算机多病毒传播u-SEIR模型。文献[9]进而将网络中用户行为分为用户的安全意识，用户对信息的兴趣度和链接来源3个重要因素，探究了对病毒传播的影响。文献[8]认为在病毒传播过程中，被治愈的个体不一定具有免疫力，考虑了个体差异性对病毒传播的影响。文献[10]根据病毒具有爆发性，研究了具有分级治愈率的病毒传播问题。文献[16]通过考虑用户意识，网络延迟等因素，提出了SEIRS-QV模型。以上文献都研究了影响病毒传播的不同因素，且都假定计算机被病毒感染的程度相同。实际上，计算机被病毒感染的程度各有不同。造成不同感染程度的主要原因可以概括为以下几点：（1）由于病毒的多样性，计算机病毒在传播过程中，不同病毒满足其激发条件时，会对计算机造成不同程度的影响，轻则降低计算机的工作效率，重则可导致系统崩溃[5]。（2）病毒的攻击具有针对性，并不是每个系统都会受到同种病毒的攻击，例如，有的网络病毒只会攻击感染IBM、PC工作站，有的只感染Unix系统[3]。（3）我们也会发现，由于个体网络行为的差异，病毒的攻击感染也会受用户意识的影响，例如有的用户在进行系统软件下载时未进行软件杀毒，因此会存在被恶意软件绑定的情况，从而造成病毒入侵。（4）计算机的系统配置也会影响计算机的感染程度，例如勒索病毒在传播时，由于Win7、Xp等老旧系统无法及时修复漏洞，因此会成为勒索病毒攻击的重灾区。对于像iOS这样的系统，虽然系统相对封闭，但是也有中毒的可能，却难以成为高程度感染节点。综上所述，本文根据以上因素从病毒暴发程度的不同将传统的感染节点分为了高程度感染节点和低程度感染节点，进一步刻画病毒传播过程。运用微分动力学理论，对系统进行了理论分析，并运用系统数值仿真来验证了理论分析的正确性。

1SHLR模型

1.1模型的建立

根据病毒的破坏性分类和计算机本身配置的不同，本文将感染节点进一步划分为高程度感染节点和低程度感染节点，对计算机病毒传播时的节点状态分为以下四个类别，易感状态（没装反病毒软件或者存在系统漏洞）S(t)、高程度感染状态（计算机被恶性病毒感染）H(t)、低程度感染状态）L(t)和恢复状态（数据恢复，系统稳定）R(t)，其中S(t)、H(t)、L(t)、R(t)分别表示t时刻各个状态的节数量，用表示节点的总数量，则可假定S(t)+H(t)+I(t)+R(t)≡N(t)（1）病毒转换规则假设如下：（1）单位时间内进入系统的计算机节点都是易感节点，且以a的速率进入系统，所有不同状态节点会以相同的概率μ移出系统。（2）在病毒传播过程中，由于病毒的针对性和多样性和系统配置的不同，易感节点分别以α和β的感染率转化为高程度感染节点和低程度感染节点。（3）由于计算机节点被感染的程度不同，因此成为恢复节点的概率也不相同，高程度感染节点和低程度感染节点分别以1λ和2λ的恢复率变为恢复状态，且12λ<λ。（4）低程度感染节点在受到其他病毒或同种病毒交叉感染时会以γ的概率转化为高程度感染节点。根据假设条件，可以得出病毒传播状态转移示意图如图1所示。由图1和传播动力学理论，建立如下的动力学系统模型：根据式（1）和（2）可知，dNaNdt=−μ，则()limsup/tNtaμ→∞≤。由于式（2）中前三个方程与最后一个方程无关，现只考虑前三个方程，可以写为如下形式：Ω={(S,H,I):0≤S,H,I≤a/μ,S+H+L≤a/μ}。

1.2基本再生数和平衡点

（1）借助传染病动力学中基本再生数的定义，该病毒传播模型的基本再生数可定义为单个病毒感染节点在平均感染期内所感染的节点的数量。根据文献[14]提供的方法可以得到该病毒传播模型的基本再生数：

2系统稳定性分析

2.1无毒平衡点的局部稳定性

定理1当0R<1时，0E在Ω内局部渐进稳定。证明式（3）的Jacobi矩阵为：1Δ>0，2Δ>0，3Δ>0，则0M为正定矩阵；由00M=−J得0J的特征值全为负，由Hurwitz判据文献[15]可得0E局部渐进稳定。

2.2有毒平衡点的局部稳定性

定理2当0R>1时，E1在Ω内局部渐进稳定。证明式（5）在1E处对应的矩阵为：为正定矩阵，由11M=−J得1J的特征值全为负，根据Hurwitz判据文献[15]可得1E局部渐进稳定。

3系统仿真分析

为了验证本文提出的模型及其理论分析是否正确，进一步刻画病毒传播一般规律和各个模型参数对病毒传播的影响，进行系统仿真。

3.1系统总体变化趋势

（1）假设所有的节点满足可行域，各个节点状态的初始值分别为S(0)=97，H(0)=1，L(0)=2，R(0)=0，N(0)=100，模拟计算机病毒传播过程演变。取系统各个参数分别为a=0.00001，α=0.01，α=0.01，γ=0.04，1λ=0.05，2λ=0.06，μ=0.00001，传播阈值0R=max{0.19,0.20}=0.20<1，由定理1可知，无毒平衡点渐进稳定，此时无毒平衡点为0E=(1,0,0,99)，各个状态模拟结果如图2所示。如图2可知，当网络有病毒传播时，易感状态节点由于病毒入侵迅速变化为不同程度的感染节点，高程度感染节点H由初始值H(0)=1开始增加，最终达到峰值H(13)=23后又缓慢减小，低程度感染节点L由初始值L(0)=2较为迅速增加，最终达到峰值L(4.9)=73后又逐渐减小，最终全部减小到零。即当0R<1时，病毒的传播先增加后减小，最后消失。（2）假设所有的节点满足可行域，另取各个节点状态的初始值分别为S(0)=3，H(0)=1，L(0)=2，R(0)=0，N(0)=6，模拟计算机病毒传播过程演变。0R=max{1.13,0.57}=1.13>1，由定理2可知，有毒平衡点渐进稳定，此时有毒平衡点为1E=(0.95,0.90,0,3.65)，各个状态模拟结果如图3所示。当网络有病毒传播时，易感状态节点由于病毒的入侵迅速变化为不同程度的感染节点，H和L节点开始迅速增加达到峰值后又逐渐减小，最终高程度感染节点H不会消失，稳定在H(9)=0.5的状态，而低程度感染节点L最终全部消失为0，仿真结果满足有毒平衡点的条件。

3.2模型参数对H+L节点的影响

图4考查了易感节点输入率对病毒传播的影响。实验表明，易感节点输入量越大，最终成为感染节点的数量越多，降低α的值可以控制病毒的传播。图5考查了高程度感染节点恢复率1λ对病毒传播的影响。实验表明，系统前期感染节点H+L的数量会有较小程度的增加，后期系统中H+L节点的数量会随1λ的增加而减少，并且当1λ越大时，感染节点的数量减少得越快。因此，可以得出通过对感染节点及时进行漏洞修护或者重装系统，使计算机回到恢复状态。图6考查了α感染率对病毒传播的影响。实验表明，H+L节点的数量会随α的增加而增加，降低α的值可以有效控制感染节点的增加。因此，可经常查杀病毒，清理数据，使计算机系统较为安全，从而降低计算机系统被感染的概率。图7考查了低程度感染节点向高程度感染节点的转化率γ对病毒传播的影响。实验表明，H+L节点的数量会随γ的增加而增加。适当减小的值，采取一定措施控制低程度感染节点向高程度感染节点的转化，可减少感染节点在病毒传播中的数量。因此，当发现计算机的工作效率下降或者有中毒的可能时，用户应该增强意识，进行病毒查杀，漏洞修复，让破坏性强的病毒不容易入侵，降低计算机成为高程度感染节点的概率，控制病毒在网络中的传播。

4结论

本文通过考虑病毒多样性和计算机本身的不同抗攻击能力，根据流行病建模理论，将传统意义上的感染节点进一步分为了高程度感染和低程度感染节点。并且建立了SHLR病毒传播模型。计算机了系统平衡的基本再生数0R，无毒平衡点0E和有毒平衡点1E、2E，根据基本再生数0R得出了系统局部稳定性的条件。最后进行了仿真分析，与理论分析结果一致，表明当0R<1时，病毒最终将会消失；当0R>1时，病毒始终不会消失，将会稳定在某一水平值。实验结果表明，降低α和γ的值，增加和2λ的值，都可以抑制病毒的传播，如果某些病毒表现出来的性状对系统的攻击性不大，意识不强的用户将会难以注意，不能立即采取措施，从而提高了计算机转向高程度感染节点的概率。因此可得出一些措施建议，例如定时查杀病毒，更新系统，进行漏洞修复，尽量避免病毒的入侵，当系统表现出了一些中毒性状时，及时进行系统检查，避免受到更高程度的攻击。本模型进一步以参数建模的方式刻画了病毒传播的过程，探究更多动态因素对病毒传播的影响将会成为下一步研究工作。

作者:李兰图 张力及 王岚 包致婷 单位:重庆工程学院计算机与物联网学院