基于状态事件故障树的信息物理融合系统风险建模

摘要：

信息物理融合系统(Cyber-physical Systems)中嵌入式系统网络的应用使其容易遭受网络攻击,攻击者可能会利用软件和通信组件中的漏洞获取系统的控制权,从而导致系统失效.现有的信息物理融合系统安全风险建模方法主要基于静态故障树进行,不考虑软件控制系统特有的动态性和时序依赖性,无法推导出网络攻击所导致的最终影响.因此,文中基于状态事件故障树提出一种信息物理融合系统风险建模方法.首先,针对状态事件故障树(Stata/Event Fault Trees,SEFTs)模型进行攻击步骤集成,提出Attack-SEFTs模型;在此基础上,给出信息物理融合系统的常见漏洞模式,并基于Attack-SEFTs对各种漏洞模式进行建模;接着,给出Attack-SEFTs模型的失效路径分析方法;最后通过一个案例说明了所提方法的可行性.

关键词：信息物理融合系统、防危性、安全性、状态事件故障树、攻击树

所属期刊栏目：46

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金青年科学基金项目61802192,61702282;江苏省高等学校自然科学研究项目18KJB520024,17KJB520023;南京林业大学校青年创新基金CX2016026;南京邮电大学引进人才科研启动基金NY217143;省教改项目164070911

在线出版日期：2019-06-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：105-110