Malicious software spread modeling and control in cyber-physical systems

被引:0
|
作者
Yang, Bo [1 ]
Yu, Zhenhua [2 ]
Cai, Yuanli [1 ]
机构
[1] Xi An Jiao Tong Univ, Sch Automat Sci & Engn, Xian 710049, Peoples R China
[2] Xian Univ Sci & Technol, Coll Comp Sci & Technol, Inst Syst Secur & Control, Xian 710054, Peoples R China
基金
中国国家自然科学基金;
关键词
Cyber-physical system; Malicious software; Hopf bifurcation; Hybrid control; SEIR EPIDEMIC MODEL; RESILIENT CONTROL; GLOBAL-STABILITY; SECURITY; ATTACKS; BIFURCATION; HYBRID; SUBJECT;
D O I
10.1016/j.knosys.2022.108913
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Cyber-physical systems are interactive intelligent systems integrating computing units and physical objects through information networks. They have been widely used in critical infrastructures, and are increasingly vulnerable to malicious software attacks. To explore the spread mechanism of malicious software in cyber-physical systems from a macroscopic perspective, this work proposes a new malicious software spread model with time delay, and analyzes its complex dynamic behavior by using the stability theory and bifurcation theorem. A hybrid bifurcation control method is presented to control adverse bifurcations that cause harmful behavior of cyber-physical systems, and the influence of control parameters on the Hopf bifurcation threshold is revealed. Cyber-physical systems with the proposed method can be stabilized, which behave as expected during malicious software spread. The simulations show that the proposed control method can advance or postpone the threshold of Hopf bifurcation, thus making cyber-physical systems achieve a stable state. Consequently, damage and disruption to cyber-physical systems caused by malicious software are effectively reduced. (C) 2022 Elsevier B.V. All rights reserved.
引用
收藏
页数:14
相关论文
共 50 条
  • [1] Malicious software spread modeling and control in cyber–physical systems
    Yang, Bo
    Yu, Zhenhua
    Cai, Yuanli
    [J]. Knowledge-Based Systems, 2022, 248
  • [2] Visualisation of Control Software for Cyber-Physical Systems
    Melatti, Igor
    Mari, Federico
    Salvo, Ivano
    Tronci, Enrico
    [J]. INFORMATION, 2021, 12 (05)
  • [3] Secure Control for Cyber-Physical Systems Under Malicious Attacks
    Wu, Chengwei
    Yao, Weiran
    Pan, Wei
    Sun, Guanghui
    Liu, Jianxing
    Wu, Ligang
    [J]. IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2022, 9 (02): : 775 - 788
  • [4] Formal Analysis of Control Software for Cyber-Physical Systems
    Herrmann, Peter
    Blech, Jan Olaf
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2017, : 563 - 564
  • [5] Modeling more software performance antipatterns in cyber-physical systems
    Pinciroli, Riccardo
    Smith, Connie U.
    Trubiani, Catia
    [J]. SOFTWARE AND SYSTEMS MODELING, 2024, 23 (04): : 1003 - 1023
  • [6] Formal Modeling of Testing Software for Cyber-Physical Automation Systems
    Buzhinsky, Igor
    Pang, Cheng
    Vyatkin, Valeriy
    [J]. 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 301 - 306
  • [7] Modeling Cyber-Physical Systems
    Derler, Patricia
    Lee, Edward A.
    Vincentelli, Alberto Sangiovanni
    [J]. PROCEEDINGS OF THE IEEE, 2012, 100 (01) : 13 - 28
  • [8] Formal modeling and control of cyber-physical manufacturing systems
    Yu, Zhenhua
    Ouyang, Jie
    Li, Sisi
    Peng, Xia
    [J]. ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (10)
  • [9] Software control and intellectual property protection in cyber-physical systems
    Machado, Raphael C. S.
    Boccardo, Davidson R.
    Pereira de Sa, Vinicius G.
    Szwarcfiter, Jayme L.
    [J]. EURASIP JOURNAL ON INFORMATION SECURITY, 2016, 2016 (01)
  • [10] Statistical model checking of cyber-physical systems control software
    Shan, Li-Jun
    Zhou, Xing-She
    Wang, Yu-Ying
    Zhao, Lei
    Wan, Li-Jing
    Qiao, Lei
    Cehn, Jian-Xin
    [J]. Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 380 - 389