Malicious software spread modeling and control in cyber-physical systems

被引:3
|
作者
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 条
  • [21] Compositional Cyber-Physical Systems Modeling
    Bakirtzis, Georgios
    Vasilakopoulou, Christina
    Fleming, Cody H.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 125 - 138
  • [22] A first Cyber-Physical Systems of Systems modeling
    Maurice, Olivier
    2018 13TH ANNUAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2018, : 9 - 13
  • [23] Provable Determinism for Software in Cyber-Physical Systems
    Rossel, Marcus
    Lin, Shaokai Jerry
    Lohstroh, Marten
    Castrillon, Jeronimo
    Goens, Andres
    VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2023, 2024, 14095 : 85 - 107
  • [24] Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
    Lyakh, T. V.
    Zyubin, V. E.
    Garanina, N. O.
    OPTOELECTRONICS INSTRUMENTATION AND DATA PROCESSING, 2019, 55 (02) : 189 - 197
  • [25] Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
    T. V. Lyakh
    V. E. Zyubin
    N. O. Garanina
    Optoelectronics, Instrumentation and Data Processing, 2019, 55 : 189 - 197
  • [26] Software Engineering Issues for Cyber-Physical Systems
    Al-Jaroodi, Jameela
    Mohamed, Nader
    Jawhar, Imad
    Lazarova-Molnar, Sanja
    2016 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP), 2016, : 264 - 269
  • [27] Dynamic Software Updating for Cyber-Physical Systems
    Kang, Sungjoo
    Chun, Ingeol
    Kim, Wontae
    18TH IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS (ISCE 2014), 2014,
  • [28] Software Performance Antipatterns in Cyber-Physical Systems
    Smith, Connie U.
    PROCEEDINGS OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'20), 2020, : 173 - 180
  • [29] Distributed Control for Cyber-Physical Systems
    Mangharam, Rahul
    Pajic, Miroslav
    JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93 (03) : 353 - 387
  • [30] On The Economic Control of Cyber-physical Systems
    Agarwal, Shaurya
    Kachroo, Pushkin
    2017 IEEE 7TH ANNUAL INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (CYBER), 2017, : 86 - 90