1. 引言
由于智能手机的便携性和简便性,手机病毒与恶意软件带来的风险甚至高于电脑之间的病毒传播。从手机病毒的传播形式来看,主要是利用蓝牙设备、网页浏览、下载软件、短信彩信和电脑连接等多种途径。从智能手机的技术性能来看,它的移动存储功能和近距离无线传输技术,实现了网络到手机、手机与手机之间数据的频繁交换,增大了病毒的传播概率。
在手机高速发展和4G网络的时代,手机智能程度也增加,随着安卓和iOS系统取代塞班系统,由于安卓系统的开放性,针对安卓系统的病毒呈指数式暴涨 [1] 。腾讯安全实验室发布的《2016年度互联网安全报告》 [2] 中指出,2016年手机木马病毒感染用户达到5亿,垃圾短信举报次数达10.7亿,其中诈骗短信占2成,其他手机病毒也创新高。目前,手机病毒的攻击方式有八大类型,包括恶意扣费、隐私窃取、资费消耗、远程控制、恶意传播、系统破坏、流氓软件、诱骗欺诈等类型 [3] 。这些手机病毒造成的破坏性极为强大,从个人层面,会导致个人隐私的泄露,财产受到威胁;对于国家,会导致国家私密外泄,安全信息遭到他人窃取,国家利益受损。因此有必要建立手机病毒传播的数学模型来预测手机病毒的发展趋势,以便更好地建立防治措施。
2. 模型
根据手机病毒的特点,把手机分为3类,分别为: ① 易感染类
。该类手机目前未被病毒感染,但是有被感染的可能性存在,在
时刻其数量记为
; ② 感染类
。该类手机已经被病毒感染,并且具有感染其它手机的能力,在
时刻其数量记为
; ③ 免疫类
,该类手机因为安装杀毒软件或系统升级而对病毒具有免疫能力,在
时刻其数量记为
。我们考虑如下的手机病毒传播的微分方程仓室模型:
(1)
在模型(1)中,
表示在一定时间内进入系统的手机的总数量。
为感染率,指的是在一定时间内,易感染的手机因为没有进行补丁从而感染上病毒,并且每个手机都具有感染多个手机的能力。所以,由易感染的手机转变成感染手机总数可表示为
。
指的是感染上病毒的手机只进行杀毒却没有打补丁或升级系统从而再次变为易感染类的概率。
表示感染上病毒的手机在进行杀毒后打补丁或升级系统从而获得永久免疫的概率。
分别表示在一定时间内,手机从易感染类,感染类,免疫类移出系统的概率。
近几十年来,由于一些学科新现象新定律的发现,分数阶微积分已成为一个研究热点。随着分数阶微分方程的发展,分数阶模型更加接近实际情况,能对生物系统进行更为细致深入的研究,越来越多的数学、生物工作者开始关注分数阶传染病模型 [4] [5] [6] 。然而,根据我们的调查,目前尚无文献考虑利用分数阶方程模型来研究手机病毒的传播情况。研究资料表明,分数阶微分方程在研究一些具有记忆过程、遗传性质、异质材料及远程扩散过程比整数阶方程模型更具有优势。由于智能手机的便携性和简便性,手机病毒与恶意软件带来的风险甚至高于电脑之间的病毒传播。从智能手机的技术性能来看,它的移动存储功能和近距离无线传输技术,实现了网络到手机、手机与手机之间数据的频繁交换,增大了病毒的传播概率和范围。经典的整数阶方程,如反应扩散方程就很难准确地描述智能手机病毒的这种大范围的频繁扩散现象。而分数阶导数的全局性使得分数阶微分方程更能准确地描述手机病毒的这种频繁扩散现象。因此,借鉴文 [7] 的方法,我们在模型(1)的基础上引入分数阶导数,得到如下的分数阶微分方程模型:
(2)
其中,
表示
阶Caputo分数阶导数 [8] 。
3. 平衡点分析
设基本再生数
我们可得到模型(2)平衡点的存在情况如下:
定理1:当
时,模型(2)有唯一一个未感染平衡点
,当
时,模型除了一个未感染平衡点
外,还有一个感染平衡点
,其中
证明:模型(2)的平衡点满足如下的方程组:
(3)
由方程组(3)的第二个式子可以得到
或
当
时,由方程组(3)易知模型(2)存在未感染平衡点
。
当
时,可得
将其代入(3)的第一个和第三个式子可得
当
时,
恒大于0. 因此,当
时,模型(2)还存在一个感染平衡点
。
定理2:当
时,模型(2)的未感染平衡点
是局部渐进稳定的;当
时,未感染平衡点
是不稳定的。
证明:模型(2)在未感染平衡点
处的Jacobian矩阵为
如果Jacobian矩阵
的所有特征值满足条件 [9]
那么未感染平衡点
是渐近稳定的。容易求得
的所有特征值为
显然,当
时,
,从而模型(2)的未感染平衡点
是局部渐进稳定的;当
时,
,未感染平衡点
是不稳定的。
定理3:当
时,模型(2)的感染平衡点
是局部渐进稳定的。
证明:模型(2)在感染平衡点
的Jacobian矩阵为
易得
的特征方程为
易知
是
的一个特征值,
的另两个特征值
和
是方程
的根。由韦达定理可知:
于是,
的所有特征值均有负实部,从而条件
满足,感染平衡点
是局部渐进稳定的。
4. 数值试验
本节我们通过对模型(2)的数值模拟来研究模型平衡点的稳定性情况。取参数
,
,
,
,
,
,
,
。通过计算可得基本再生数
,模型(2)的平衡点为
和
。取初始值为
,
,
。在图1中我们绘出了模型(2)的解随时间的变化情况,从中可以看出,模型(2)的解最终收敛于感染平衡点
。
取参数
,
,
,
,
,
,
,
。通过计算可得基本再生数
,模型(2)有唯一的未感染平衡点
。在图2中我们绘出了模型(2)的解随时间的变化情况,从中可以看出,模型(2)的解最终收敛于未感染平衡点
。
Figure 1. Numerical solutions of model (2) for
图1.
时模型(2)的数值解
Figure 2. Numerical solutions of model (2) for
图2.
时模型(2)的数值解
5. 小结
本文研究了一类基于分数阶微分方程的手机病毒传播模型,得出结论:当基本再生数
时,模型仅存在唯一的局部稳定的未感染平衡点
,此时病毒得到消除;当基本再生数
时,模型除了未感染平衡点
外,还存在一个感染平衡点
,且此时感染平衡点是局部稳定的,病毒将扩散。因此,为了抑制手机病毒的传播,我们应想办法减少基本再生数的值。结合基本再生数的形式,我们给出如下几点建议:1) 定期检查补丁,及时发现系统漏洞,以减小手机被感染的概率;2) 对感染上病毒的手机立即进行杀毒,增加手机获得免疫的概率;3) 增强用户的隐私安全意识,不随意登陆不正规网站等。
基金项目
福建省自然科学基金青年创新项目(No. 2016J05012),福建省自然科学基金项目(No. 2017J01557)。