计算机应用

作者：徐丙凤, 钟志成, 何高峰

单位：1. 南京林业大学 信息科学技术学院, 南京 210037;2. 南京邮电大学 物联网学院, 南京 210003

关键词：信息物理融合系统,动态故障树,攻击树,风险分析,二元决策图

基金：国家自然科学基金青年科学基金资助项目（61802192，61702282）；江苏省高等学校自然科学研究项目（18KJB520024，17KJB520023）；南京林业大学校青年创新基金资助项目（CX2016026，GXL016）；南京邮电大学引进人才科研启动基金资助项目（NY217143）；南京林业大学大学生创新训练计划项目（2018NFUSPITP475，2018NFUSPITP457）。

针对信息物理融合系统（CPS）中的网络安全攻击会导致系统失效的问题，提出一种基于动态故障树的CPS风险建模及分析方法。首先，对动态故障树和攻击树集成建模，构建攻击-动态故障树（Attack-DFTs）模型；然后，分别采用二元决策图和输入输出马尔可夫链给出攻击-动态故障树中的静态子树和动态子树的形式化模型，并在此基础上给出攻击-动态故障树的定性分析方法，即分析网络安全攻击导致系统失效的基本事件路径；最后，通过一个典型的排污系统应用实例对方法的有效性进行验证。案例分析结果表明，所提方法能够分析CPS中由于网络安全攻击导致系统失效的事件序列，有效实现了CPS的综合安全评估。

来源：2019年第6期

《计算机应用》期刊编辑部

查看计算机应用杂志2019年第6期