Dynamics of a controlled discontinuous computer worm system

Li, Wenjie; Ji, Jinchen; Huang, Lihong

doi:10.1090/proc/15095

Dynamics of a controlled discontinuous computer worm system
HTML articles powered by AMS MathViewer

by Wenjie Li, Jinchen Ji and Lihong Huang PDF

Proc. Amer. Math. Soc. 148 (2020), 4389-4403 Request permission

Abstract:

This paper studies the dynamic behaviour of a computer worm system under a discontinuous control strategy. Some conditions for globally asymptotically stable solutions of the discontinuous system are obtained by using the Bendixson–Dulac theorem, Green’s formula, and the Lyapunov function. It is found that the solutions of the controlled computer worm system can converge to either of two local equilibrium points or the sliding equilibrium point on the discontinuous surface. It is shown that a threshold control strategy can effectively control the spread of computer viruses. The research results may be applicable to control other types of virus systems.

References

Meng Zhang, Guohua Song, and Lansun Chen, A state feedback impulse model for computer worm control, Nonlinear Dynam. 85 (2016), no. 3, 1561–1569. MR 3520140, DOI 10.1007/s11071-016-2779-0
Chenquan Gan, Xiaofan Yang, Qingyi Zhu, Jian Jin, and Li He, The spread of computer virus under the effect of external computers, Nonlinear Dynam. 73 (2013), no. 3, 1615–1620. MR 3083806, DOI 10.1007/s11071-013-0889-5
Sarah H. Sellke , Ness B. Shroff, and Saurabh Bagchi, Modeling and automated containment of worms, IEEE Transactions on Dependable and Secure Computing, 5(2008), no. 2, 71–86.
Cliff C. Zou, Don Towsley, and Weibo Gong, Modeling and simulation study of the propagation and defense of internet e-mail worms, IEEE Transactions on Dependable and Secure Computing, 4(2007), no. 2, 105–118.
Mohammad Sayad Haghighi, Sheng Wen, Yang Xiang, Barry Quinn, and Wanlei Zhou, On the race of worms and patches: Modeling the spread of information in wireless sensor networks, IEEE Transactions on Information Forensics and Security 11(2016), no. 12, 2854–2865.
Sanyi Tang, Juhua Liang, Yanni Xiao, and Robert A. Cheke, Sliding bifurcations of Filippov two stage pest control models with economic thresholds, SIAM J. Appl. Math. 72 (2012), no. 4, 1061–1080. MR 2968763, DOI 10.1137/110847020
Can Chen, Yanmei Kang, and Robert Smith?, Sliding motion and global dynamics of a Filippov fire-blight model with economic thresholds, Nonlinear Anal. Real World Appl. 39 (2018), 492–519. MR 3698152, DOI 10.1016/j.nonrwa.2017.08.002
Lian Duan, Lihong Huang, and Yuming Chen, Global exponential stability of periodic solutions to a delay Lasota-Wazewska model with discontinuous harvesting, Proc. Amer. Math. Soc. 144 (2016), no. 2, 561–573. MR 3430834, DOI 10.1090/proc12714
J. D. Hernández Guillén, A. Martín del Rey, and L. Hernández Encinas, Study of the stability of a SEIRS model for computer worm propagation, Phys. A 479 (2017), 411–421. MR 3631795, DOI 10.1016/j.physa.2017.03.023
Xi Xiao, Peng Fu, Guangwu Hu, Arun Kumar Sangaiah, Haitao Zheng, and Yong Jiang, SAIDR: A new dynamic model for SMS-based worm propagation in mobile networks, IEEE Access, 5 (2017), 9935–9943.
Cliff C. Zou, Don Towsley, and Weibo Gong, On the performance of Internet worm scanning strategies, Performance Evaluation 63 (2006), no. 7, 700–723.
Meng Zhang, Kaiyuan Liu, Lansun Chen, and Zeyu Li, State feedback impulsive control of computer worm and virus with saturated incidence, Math. Biosci. Eng. 15 (2018), no. 6, 1465–1478. MR 3918296, DOI 10.3934/mbe.2018067
Daniel A. Ray, Charles B. Ward, Bogdan Munteanu, Jonathan Blackwell, Xiaoyan Hong, and Jun Li, Investigating the impact of real-world factors on internet worm propagation, International Conference on Information Systems Security. Springer, Berlin, Heidelberg, (2007) 10–24.
José Roberto C. Piqueira and Vanessa O. Araujo, A modified epidemiological model for computer viruses, Appl. Math. Comput. 213 (2009), no. 2, 355–360. MR 2536658, DOI 10.1016/j.amc.2009.03.023
Yoshiaki Muroya and Toshikazu Kuniya, Global stability of nonresident computer virus models, Math. Methods Appl. Sci. 38 (2015), no. 2, 281–295. MR 3298688, DOI 10.1002/mma.3068
Heejung Byun and Jungmin So, Node scheduling control inspired by epidemic theory for data dissemination in wireless sensor-actuator networks with delay constraints, IEEE Transactions on Wireless Communications 15 (2015), no. 3, 1794–1807.
Ian M. Wanless, Transversals in Latin squares: a survey, Surveys in combinatorics 2011, London Math. Soc. Lecture Note Ser., vol. 392, Cambridge Univ. Press, Cambridge, 2011, pp. 403–437. MR 2866738
Zhaoquan Xu and Dongmei Xiao, Uniqueness of epidemic waves in a host-vector disease model, Proc. Amer. Math. Soc. 146 (2018), no. 9, 3875–3886. MR 3825841, DOI 10.1090/proc/14043
Xiyin Liang, Yongzhen Pei, and Yunfei Lv, Modeling the state dependent impulse control for computer virus propagation under media coverage, Phys. A 491 (2018), 516–527. MR 3721516, DOI 10.1016/j.physa.2017.09.058
Lu-Xing Yang, Xiaofan Yang, and Yingbo Wu, The impact of patch forwarding on the prevalence of computer virus: a theoretical assessment approach, Appl. Math. Model. 43 (2017), 110–125. MR 3589388, DOI 10.1016/j.apm.2016.10.028
Chenquan Gan, Modeling and analysis of the effect of network eigenvalue on viral spread, Nonlinear Dynam. 84 (2016), no. 3, 1727–1733. MR 3486598, DOI 10.1007/s11071-016-2600-0
Vadim I. Utkin, Sliding modes in control and optimization, Communications and Control Engineering Series, Springer-Verlag, Berlin, 1992. Translated and revised from the 1981 Russian original. MR 1295845, DOI 10.1007/978-3-642-84379-2
K. Uldall Kristiansen and S. J. Hogan, On the use of blowup to study regularizations of singularities of piecewise smooth dynamical systems in $\Bbb {R}^3$, SIAM J. Appl. Dyn. Syst. 14 (2015), no. 1, 382–422. MR 3319843, DOI 10.1137/140980995
David S. Boukal and Vlastimil Křivan, Lyapunov functions for Lotka-Volterra predator-prey models with optimal foraging behavior, J. Math. Biol. 39 (1999), no. 6, 493–517. MR 1731773, DOI 10.1007/s002850050009
Wenjie Li, Jinchen Ji, and Lihong Huang, Global dynamic behavior of a predator-prey model under ratio-dependent state impulsive control. part 2, Appl. Math. Model. 77 (2020), no. part 2, 1842–1859. MR 4029595, DOI 10.1016/j.apm.2019.09.033
Jinǵan Cui, Xiaoxia Mu, and Hui Wan, Saturation recovery leads to multiple endemic equilibria and backward bifurcation, J. Theoret. Biol. 254 (2008), no. 2, 275–283. MR 2971113, DOI 10.1016/j.jtbi.2008.05.015
Wenjie Qin and Sanyi Tang, The selection pressures induced non-smooth infectious disease model and bifurcation analysis, Chaos Solitons Fractals 69 (2014), 160–171. MR 3277608, DOI 10.1016/j.chaos.2014.09.014
Tingting Zhao, Yanni Xiao, and Robert J. Smith?, Non-smooth plant disease models with economic thresholds, Math. Biosci. 241 (2013), no. 1, 34–48. MR 3019692, DOI 10.1016/j.mbs.2012.09.005