1.信息工程大学,河南 郑州 450001
2.天津工业大学,天津 300000
[ "王红敏(1989- ),女,河南濮阳人,信息工程大学博士生,信息工程大学讲师,主要研究方向为工业控制系统安全入侵检测、风险评估。" ]
[ "魏强(1979- ),男,江西南昌人,信息工程大学教授、博士生导师,主要研究方向为网络与信息系统安全、软件脆弱性分析、云计算安全、工控系统安全、智能终端安全、软件定义网络等。" ]
[ "王兰敏(1992- ),女,河南濮阳人,天津工业大学博士生,主要研究方向为智能可穿戴传感器、智能可穿戴服装。" ]
收稿:2025-01-14,
修回:2025-05-06,
纸质出版:2025-08-25
移动端阅览
王红敏, 魏强, 王兰敏. 工业控制系统安全风险传播机理研究[J]. 网络与信息安全学报, 2025, 11(4): 107-116.
Format: WANG H M, WEI Q, WANG L M. Research on the mechanism of industrial control system security risk propagation[J]. Chinese Journal of Network and Information Security, 2025, 11(4): 107-116.
王红敏, 魏强, 王兰敏. 工业控制系统安全风险传播机理研究[J]. 网络与信息安全学报, 2025, 11(4): 107-116. DOI: 10.11959/j.issn.2096-109x.2025045.
Format: WANG H M, WEI Q, WANG L M. Research on the mechanism of industrial control system security risk propagation[J]. Chinese Journal of Network and Information Security, 2025, 11(4): 107-116. DOI: 10.11959/j.issn.2096-109x.2025045.
随着工业化和信息化的深度融合,工业控制系统在提升生产效率的同时也面临着日益复杂的安全威胁。深入研究工业控制系统安全风险的传播机理,对保障其安全稳定运行具有重要意义。为此,借鉴生物学中的SIRS(susceptible-infected-recovered-susceptible)模型,研究工业控制系统安全风险传播机理。首先,基于SIRS模型绘制了系统状态转移图,并建立对应的微分方程组。基于该模型,以感染节点的变化率为核心指标分析风险传播速度,识别并量化影响传播速度的关键因素。其次,基于基本再生数
<math id="M1"><msub><mrow><mi>R</mi></mrow><mrow><mn mathvariant="normal">0</mn></mrow></msub></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543920&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543919&type=
3.21733332
3.21733332
的阈值特性研究风险传播范围。当
<math id="M2"><msub><mrow><mi>R</mi></mrow><mrow><mn mathvariant="normal">0</mn></mrow></msub><mo><</mo><mn mathvariant="normal">1</mn></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543921&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543954&type=
8.72066593
3.21733332
时,通过构造Lyapunov函数证明系统在无毒平衡点
<math id="M3"><msub><mrow><mi>E</mi></mrow><mrow><mn mathvariant="normal">0</mn></mrow></msub></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543968&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543931&type=
3.21733332
3.21733332
处具有全局稳定性,表明风险将随时间逐渐衰减并最终在系统中完全消失;当
<math id="M4"><msub><mrow><mi>R</mi></mrow><mrow><mn mathvariant="normal">0</mn></mrow></msub><mo>></mo><mn mathvariant="normal">1</mn></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543949&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543969&type=
8.72066593
3.21733332
时,通过求解雅可比矩阵的特征方程,证明系统在有毒平衡点
<math id="M5"><msup><mrow><mi>E</mi></mrow><mrow><mi mathvariant="normal">*</mi></mrow></msup></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543960&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=89543971&type=
3.30200005
2.53999996
处具有局部渐进稳定性,揭示风险会在系统内持续稳定传播且不会自行消失的规律。最后,应用最优控制理论研究风险传播的控制问题,利用最优控制定理证明最优控制解的存在性,并通过引入Hamilton函数求解最优控制策略。为验证理论模型的合理性,通过数值模拟与实验分析,分别验证无毒平衡点的全局稳定性与有毒平衡点的局部渐进稳定性,为工业控制系统安全风险的量化评估与精准管控提供理论支撑。
With the deep integration of industrialisation and informatisation
industrial control systems (ICS) were faced with increasingly complex security threats while productivity was being enhanced. An in-depth study of the propagation mechanism of industrial control system security risks was conducted to guarantee safe and stable operation. For this purpose
the susceptible–infected–recovered–susceptible (SIRS) infectious disease model from biology was drawn upon to analyse the mechanism of security risk propagation in industrial control systems. The system state transition diagram was constructed based on the SIRS model
and the corresponding system of differential equations was established. Based on this model
the rate of change of infected nodes was used as a core indicator to analyze the speed of risk propagation
and key factors influencing the propagation speed were identified and quantified. The range of risk propagation was studied based on the threshold properties of the basic reproduction number R₀. When R₀ < 1
it was proven that the system exhibited global stability at the disease-free equilibrium point E₀ by constructing a Lyapunov function
indicating that the risk would gradually decay over time and eventually disappear entirely from the system. When R₀ > 1
by solving the characteristic equation of the Jacobian matrix
it was shown that the system achieved local asymptotic stability at the endemic equilibrium point E*
revealing that the risk would propagate steadily within the system and would not disappear autonomously. Optimal control theory was applied to study the control of risk propagation. The existence of an optimal control solution was proven using optimal control theory
and the optimal control strategy was derived by introducing the Hamilton function. To verify the rationality of the theoretical model
the global stability of the disease-free equilibrium point and the local asymptotic stability of the endemic equilibrium point were validated through numerical simulation and experimental analysis
respectively. This study thus provides theoretical support for the quantitative assessment and precise control of safety risks in industrial control systems.
ZHANG Q , ZHOU C J , TIAN Y C , et al . A fuzzy probability Bayesian network approach for dynamic cybersecurity risk assessment in industrial control systems [J ] . IEEE Transactions on Industrial Informatics , 2018 , 14 ( 6 ): 2497 - 2506 .
HUANG K X , ZHOU C J , TIAN Y C , et al . Assessing the physical impact of cyberattacks on industrial cyber-physical systems [J ] . IEEE Transactions on Industrial Electronics , 2018 , 65 ( 10 ): 8153 - 8162 .
National institute of standards and technology guide to industrial control system ( ICS) security:NIST SP800-82 [S ] . Gaithersburg : National Institute of Standards and Technology ( NIST) . 2011 .
ZHANG Q , ZHOU C , XIONG N , et al . Multimodel based incident prediction and risk assessment in dynamic cybersecurity protection for industrial control systems [J ] . IEEE Transactions on Systems , 2016 , 46 ( 10 ): 1429 - 1444 .
DENG S , ZHANG J T , WU D , et al . A quantitative risk assessment model for distribution cyber-physical system under cyberattack [J ] . IEEE Transactions on Industrial Informatics , 2022 , 19 ( 3 ): 2899 - 2908 .
CÁRDENAS A A , AMIN S , LIN Z S , et al . Attacks against process control systems: risk assessment, detection, and response [C ] // Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security . New York : ACM , 2011 : 355 - 366 .
CUI Y , QUDDUS N , MASHUGA C V . Bayesian network and game theory risk assessment model for third-party damage to oil and gas pipelines [J ] . Process Safety and Environmental Protection , 2020 , 134 : 178 - 188 .
ZHU Q Y , ZHANG G , LUO X H , et al . An industrial virus propagation model based on SCADA system [J ] . Information Sciences , 2023 , 630 : 546 - 566 .
MASOOD Z , SAMAR R , RAJA M A Z . Design of a mathematical model for the Stuxnet virus in a network of critical control infrastructure [J ] . Computers & Security , 2019 , 87 : 101565 .
散学峰 . 斑块环境下传染病模型的传播动力学 [D ] . 兰州 : 兰州大学 , 2022 .
SAN X F . Propagation dynamics of epidemic models in patchy enviroments [D ] . Lanzhou : Lanzhou university , 2022 .
周勇 . 基本再生数新方法和传染病模型动力学分析 [D ] . 武汉 : 武汉科技大学 , 2023 .
ZHOU Y . New method for basic reproduction number and dynamics analysis of infectious disease models [D ] . Wuhan : Wuhan University of Science and Technology , 2023 .
王红敏 , 韩少云 , 魏强 , 等 . 工业控制系统安全一体化风险评估方法 [J ] . 物联网学报 , 2025 , 9 ( 2 ): 139 - 151 .
WANG H M , HAN S Y , WEI Q , et al . A integrated risk assessment method for industrial control system security [J ] . Chinese Journal on Internet of Things , 2025 , 9 ( 2 ): 139 - 151 .
刘烃 , 田决 , 王稼舟 , 等 . 信息物理融合系统综合安全威胁与防御研究 [J ] . 自动化学报 , 2019 , 45 ( 1 ): 5 - 24 .
LIU T , TIAN J , WANG J Z , et al . Integrated security threats and defense of cyber-physical systems [J ] . Acta Automatica Sinica , 2019 , 45 ( 1 ): 5 - 24 .
AMRO A , GKIOULOS V , KATSIKAS S . Assessing cyber risk in cyber-physical systems using the ATT&CK framework [J ] . ACM Transactions on Privacy and Security , 2023 , 26 ( 2 ): 1 - 33 .
WANG Y M , WANG W H , BAI X X , et al . RRDD: an ATT&CK-based ICS network security risk assessment method [C ] // Proceedings of the 2023 2nd International Conference on Networks, Communications and Information Technology . New York : ACM , 2023 : 186 - 192 .
FIRST . Common vulnerability scoring system version 3.1: specification document [R ] . 2019 .
ZHOU B X , SUN B J , ZANG T L , et al . Security risk assessment approach for distribution network cyber physical systems considering cyber attack vulnerabilities [J ] . Entropy , 2023 , 25 ( 1 ): 47 .
LIU K X , XIE Y F , XIE S W , et al . SEAG: a novel dynamic security risk assessment method for industrial control systems with consideration of social engineering [J ] . Journal of Process Control , 2023 , 132 : 103131 .
WANG Y H , YU B , YU H Y , et al . Automotive cybersecurity vulnerability assessment using the common vulnerability scoring system and Bayesian network model [J ] . IEEE Systems Journal , 2022 , 17 ( 2 ): 2880 - 2891 .
KUMARI S , UPADHYAY R K . Exploring the behavior of malware propagation on mobile wireless sensor networks: stability and control analysis [J ] . Mathematics and Computers in Simulation , 2021 , 190 : 246 - 269 .
RAJA M A Z , MEHMOOD A , ASHRAF S , et al . Design of evolutionary finite difference solver for numerical treatment of computer virus propagation with countermeasures model [J ] . Mathematics and Computers in Simulation , 2022 , 193 : 409 - 430 .
BI J C , YANG X F , WU Y B , et al . On the optimal dynamic control strategy of disruptive computer virus [J ] . Discrete Dynamics in Nature and Society , 2017 : 8390784 .
ATHANS M , FALB P L . Optimal control: an introduction to the theory and its applications [M ] . New York : Dover Books on Engineering , 2015 .
FORMBY D , RAD M , BEYAH R A . Lowering the barriers to industrial control system security with GRFICS [C ] // Proceedings of the 2018 USENIX Workshop on Advances in Security Education (ASE 2018) . Berkeley : USENIX Association , 2018 .
SHAH D , ZAMAN T . Detecting sources of computer viruses in networks [J ] . ACM SIGMETRICS Performance Evaluation Review , 2010 , 38 ( 1 ): 203 - 214 .
0
浏览量
34
下载量
0
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621