操作系统病毒时滞传播模型及抑制策略设计

王刚; 冯云; 马润年

doi:10.7652/xjtuxb202103002

您当前的位置：

首页 >

文章列表页 >

操作系统病毒时滞传播模型及抑制策略设计

更新时间：2025-07-09

- 操作系统病毒时滞传播模型及抑制策略设计
- Time-Delay Propagation Model and Suppression Strategy Design of Operating System Virus
- 西安交通大学学报 2021年55卷第3期页码：11-19
- 作者机构：
  
  空军工程大学信息与导航学院,西安,710077
- 作者简介：
- 基金信息：
  
  : 2020-08-16。作者简介: 王刚(1976—),男,教授。基金项目: 国家自然科学基金资助项目(61573017)
- DOI：10.7652/xjtuxb202103002
  中图分类号： TP393
- 网络首发：2021-03-10，
  
  纸质出版：2021
- 稿件说明：
移动端阅览
王刚, 冯云, 马润年. 操作系统病毒时滞传播模型及抑制策略设计[J]. 西安交通大学学报, 2021,55(3):11-19.

Time-Delay Propagation Model and Suppression Strategy Design of Operating System Virus[J]. 2021, 55(3): 11-19.
王刚, 冯云, 马润年. 操作系统病毒时滞传播模型及抑制策略设计[J]. 西安交通大学学报, 2021,55(3):11-19. DOI： 10.7652/xjtuxb202103002.

Time-Delay Propagation Model and Suppression Strategy Design of Operating System Virus[J]. 2021, 55(3): 11-19. DOI： 10.7652/xjtuxb202103002.

摘要

为了有效抑制操作系统病毒在网络中的传播

针对操作系统病毒的目标性强和感染时滞等特点

提出了操作系统病毒的时滞传播模型及抑制策略。在经典SIRS模型基础上

考虑操作系统切换和感染阶段时耗因素

引入新的节点状态和感染时滞

构建了操作系统病毒的时滞模型

并给出了系统的平衡点和基本再生数; 运用Lyapunov直接法

证明了网络系统在无病毒平衡点处的全局稳定性; 根据Hopf分岔理论

计算了网络存在有病毒平衡点时出现分叉的阈值

分析了有病毒平衡点处的Hopf分岔行为; 针对感染时滞过高时的振荡现象

设计了相应病毒传播抑制策略

通过微调操作系统切换频率消除振荡现象

在感染节点数稳定后

参照基本再生数重新调整操作系统切换频率

从而彻底消除病毒。理论和仿真结果表明:当基本再生数小于1时

网络能在无病毒平衡点处全局渐进稳定

此时网络可依赖自身免疫能力消除操作系统病毒; 当基本再生数大于1且时滞大于对应阈值时

感染节点数存在周期性振荡

此时网络环境难以判定

通过微调操作系统切换频率可消除振荡; 当基本再生数大于1且时滞小于对应阈值时

网络在有病毒平衡点处局部渐进稳定

此时网络安全态势明确

可根据基本再生数调整操作切换频率

彻底消除操作系统病毒。

Abstract

To effectively suppress operating system virus propagation in the network

a time-delay propagation model and the suppression strategy of operating system virus are proposed aiming at the characteristics of operating system virus

such as strong target and delay of infection. Based on the SIRS model

a new state and the infection time delay are introduced. The time-delay model of the operating system virus is constructed. The equilibrium point and the basic regeneration number are given. The global stability of network system at the virus-free equilibrium point is proved by direct Lyapunov method. According to Hopf bifurcation theory

the threshold of bifurcation is calculated

and the Hopf bifurcation behavior is analyzed at the virus equilibrium point. To solve the oscillation in the case of too high infection time delay

the virus propagation suppression strategy is designed. The oscillation can be eliminated by fine-tuning the switching frequency of the operating system. When the number of infected nodes is stable

switching frequency of the operating system is renewed with reference to the basic regeneration number. to eliminate virus completely. The theoretical and simulation results show that when the basic regeneration number is less than 1

the network can be globally asymptotically stable at the virus-free equilibrium point. The network can eliminate the operating system virus relying on its own immunity. When the basic regeneration number is greater than 1 and the time delay is greater than the corresponding threshold

the number of infected nodes has periodic oscillation. It is difficult to determine the network environment at this time. The oscillation can be eliminated by fine-tuning the operating system switching frequency. When the basic regeneration number is greater than 1 and the time delay is less than the corresponding threshold

the network is locally asymptotically stable at the virus equilibrium point

and the network security situation is clear. At this time

the operation switching frequency can be adjusted according to the basic regeneration number to ensure network security.

关键词

Keywords

references

WU Jiangxing, LI Jianhua, JI Xinsheng. Security for cyberspace: challenges and opportunities [J]. Frontiers of Information Technology & Electronic Engineering, 2018, 19(12): 1459-1461.

SULTANA N, CHILAMKURTI N, PENG Wei, et al. Survey on SDN based network intrusion detection system using machine learning approaches [J]. Peer-to-Peer Networking and Applications, 2019, 12(2): 493-501.

ALI M Q, AL-SHAER E, SAMAK T. Firewall policy reconnaissance: techniques and analysis [J]. IEEE Transactions on Information Forensics and Security, 2014, 9(2): 296-308.

周余阳, 程光, 郭春生, 等. 移动目标防御的攻击面动态转移技术研究综述 [J]. 软件学报, 2018, 29(9): 2799-2820.

ZHOU Yuyang, CHENG Guang, GUO Chunsheng, et al. Survey on attack surface dynamic transfer technology based on moving target defense [J]. Journal of Software, 2018, 29(9): 2799-2820.

仝青, 张铮, 张为华, 等. 拟态防御Web服务器设计与实现 [J]. 软件学报, 2017, 28(4): 883-897.

TONG Qing, ZHANG Zheng, ZHANG Weihua, et al. Design and implementation of mimic defense web server [J]. Journal of Software, 2017, 28(4): 883-897.

KANELLOPOULOS A, VAMVOUDAKIS K G. A moving target defense control framework for cyber-physical systems [J]. IEEE Transactions on Automatic Control, 2020, 65(3): 1029-1043.

CHO J H, SHARMA D P, ALAVIZADEH H, et al. Toward proactive, adaptive defense: a survey on moving target defense [J]. IEEE Communications Surveys Tutorials, 2020, 22(1): 709-745.

EL-SAYED A M A, ARAFA A A M, KHALI M, et al. A mathematical model with memory for propagation of computer virus under human intervention [J]. Progress in Fractional Differentiation and Applications, 2016, 2(2): 105-113.

王刚, 冯云, 陆世伟, 等. 多操作系统异构网络的病毒传播模型和安全性能优化策略 [J]. 电子与信息学报, 2020, 42(4): 972-980.

WANG Gang, FENG Yun, LU Shiwei, et al. Virus propagation model and security performance optimization strategy of multi-operating system heterogeneous network [J]. Journal of Electronics Information Technology, 2020, 42(4): 972-980.

LIU Lijun, WEI Xiaodan, ZHANG Naimin. Global stability of a network-based SIRS epidemic model with nonmonotone incidence rate [J]. Physica: A Statistical Mechanics and Its Applications, 2019, 515: 587-599.

张春明, 陈冬垚. 广义网络上的计算机病毒传播模型 [J]. 数学物理学报, 2019, 39(2): 402-416.

ZHANG Chunming, CHEN Dongyao. Propagation of computer virus on generalized networks [J]. Acta Mathematica Scientia, 2019, 39(2): 402-416.

王刚, 陆世伟, 胡鑫, 等. “去二存一”混合机制下的病毒扩散模型及稳定性分析 [J]. 电子与信息学报, 2019, 41(3): 709-716.

WANG Gang, LU Shiwei, HU Xin, et al. Virus propagation model and stability under the hybrid mechanism of “two-go and one-live” [J]. Journal of Electronics Information Technology, 2019, 41(3): 709-716.

叶志勇, 刘原, 吴用. 具有非单调传染率的SIQR传染病模型的稳定性分析 [J]. 生物数学学报, 2014, 29(1): 105-112.

YE Zhiyong, LIU Yuan, WU Yong. Stability of a SIQR model with nonmonotone incidence rate [J]. Journal of Biomathematics, 2014, 29(1): 105-112.

苏飞, 林昭文, 马严, 等. IPv6网络环境下的蠕虫传播模型研究 [J]. 通信学报, 2011, 32(9): 51-60.

SU Fei, LIN Zhaowen, MA Yan, et al. Research on worm propagation model in IPv6 networks [J]. Journal on Communications, 2011, 32(9): 51-60.

ZHOU Tao, LIU Jinguo, BAI Wenjie, et al. Behaviors of susceptible-infected epidemics on scale-free networks with identical infectivity [J]. Physical Review: E, 2006, 74(5): 056109.

王昕炜, 彭海军, 钟万勰. 具有潜伏期时滞的时变SEIR模型的最优疫苗接种策略 [J]. 应用数学和力学, 2019, 40(7): 701-712.

WANG Xinwei, PENG Haijun, ZHONG Wanxie. Optimal vaccination strategies for a time-varying SEIR epidemic model with latent delay [J]. Applied Mathematics and Mechanics, 2019, 40(7): 701-712.

SONG Haitao, LIU Shengqiang, JIANG Weihua. Global dynamics of a multistage SIR model with distributed delays and nonlinear incidence rate [J]. Mathematical Methods in the Applied Sciences, 2016, 40(6): 21532164

LI S S, LI X Z, CHAN S C. Chaotic time-delay signature suppression with bandwidth broadening by fiber propagation [J]. Optics Letters, 2018, 43(19): 4751-4754.

张晓潘, 袁凌云. 具有时滞扩散作用的无线传感网络病毒传播模型的振荡动力学研究 [J]. 计算机科学, 2017, 44(S1): 390-394.

ZHANG Xiaopan, YUAN Lingyun. Oscillatory behaviors of malware propagation model in wireless sensor networks with time delays and reaction-diffusion terms [J]. Computer Science, 2017, 44(S1): 390-394.

ZHU Linhe, GUAN Gui, LI Yimin. Nonlinear dynamical analysis and control strategies of a network-based SIS epidemic model with time delay [J]. Applied Mathematical Modelling, 2019, 70: 512-531.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种支持大规模应用层组播的混合拓扑覆盖网络

水中球形微气泡演化的动力学行为分析与控制

控制时滞对负刚度Duffing系统动力学特性的影响

考虑应变的管内电缆导体设计模型

移动Ad Hoc网络中提高路由稳定性的动态备份多径路由