Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Engineering
复制标题
使用基于模型的工程对网络物理系统进行多级运行时安全监控
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
C. Elks
中科院分区：
文献类型：
--
作者：
S. Gautham;A. Jayakumar;C. Elks
信息物理系统（CPS）本质上是异构的，由许多组件和嵌入式子系统组成，这些组件和子系统彼此交互并与物理世界交互。硬件和软件组件在每个级别上的交互将它们暴露在攻击表面，这需要新的方法来保护。为了确保高完整性CPS的安全性和可靠性，我们提出了一种多级运行时监控方法，在每个级别的处理和集成有监视器。在所提出的多级监控框架中，一些监控属性使用事件演算进行了形式化定义。然后，我们证明了需要多级监视器进行数据攻击和故障注入的Simulink CPS模型上进行更快的检测和隔离的攻击。
Cyber-Physical Systems (CPS) are heterogeneous in nature and are composed of numerous components and embedded subsystems that are interacting with each other and with the physical world. The interaction of hardware and software components at each level, expose them to attack surfaces, which need novel methods to secure against. To ensure safety and security of high integrity CPSs, we present a multilevel runtime monitor approach where there are monitors at each level of processing and integration. In the proposed multi-level monitoring framework, some monitoring properties are formally defined using Event Calculus. We then demonstrate the need for multilevel monitors for faster detection and isolation of attacks by performing data attack and fault injection on a Simulink CPS model.