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 条
  • [11] 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
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 380 - 389
  • [12] Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems
    Krueger, Jacob
    Nielebock, Sebastian
    Krieter, Sebastian
    Diedrich, Christian
    Leich, Thomas
    Saake, Gunter
    Zug, Sebastian
    Ortmeier, Frank
    21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1, 2017, : 237 - 241
  • [13] Threat modeling in cyber-physical systems
    Fernandez, Eduardo B.
    2016 IEEE 14TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 14TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 2ND INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS (DASC/PICOM/DATACOM/CYBERSC, 2016, : 448 - 453
  • [14] Modeling Architectures of Cyber-Physical Systems
    Kusmenko, Evgeny
    Roth, Alexander
    Rumpe, Bernhard
    von Wenckstern, Michael
    MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2017, 2017, 10376 : 34 - 50
  • [15] Modeling security in cyber-physical systems
    Burmester, Mike
    Magkos, Ernmanouil
    Chrissikopoulos, Vassilis
    INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, 2012, 5 (3-4) : 118 - 126
  • [16] Cyber-Physical Modeling and Cyber-Contingency Assessment of Hierarchical Control Systems
    Xin, Shujun
    Guo, Qinglai
    Sun, Hongbin
    Zhang, Boming
    Wang, Jianhui
    Chen, Chen
    IEEE TRANSACTIONS ON SMART GRID, 2015, 6 (05) : 2375 - 2385
  • [17] Modeling access control for cyber-physical systems using reputation
    Chen, Dong
    Chang, Guiran
    Sun, Dawei
    Jia, Jie
    Wang, Xingwei
    COMPUTERS & ELECTRICAL ENGINEERING, 2012, 38 (05) : 1088 - 1101
  • [18] A Resiliency Coordinator Against Malicious Attacks for Cyber-Physical Systems
    Eun, Yongsoon
    Park, Jaegeun
    Jeong, Yechan
    Kim, Daehoon
    Park, Kyung-Joon
    2022 22ND INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS (ICCAS 2022), 2022, : 1698 - 1703
  • [19] Context modeling for cyber-physical systems
    Daun, Marian
    Tenbergen, Bastian
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2023, 35 (07)
  • [20] Challenges in Modeling Cyber-Physical Systems
    Broy, Manfred
    2013 ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN), 2013, : 5 - 5