论文标题
量化网络攻击对网络物理系统的安全性的影响
Quantifying impact on safety from cyber-attacks on cyber-physical systems
论文作者
论文摘要
我们提出了一个新颖的框架，用于在网络物理控制系统中建模攻击方案：我们代表网络物理系统作为约束开关系统，其中单个模型嵌入了物理过程的动力学，攻击模式和攻击检测方案。我们表明，这与混合自动机的分析以及尤其是约束开关系统的既定结果兼容。此外，我们使用开发的模型来计算网络攻击对系统安全性能的影响。特别是，我们通过计算最大安全集来将系统安全性作为渐近特性。由此产生的新影响指标可以直观地量化了在攻击下的安全性下降。我们通过说明性示例展示了结果。
We propose a novel framework for modelling attack scenarios in cyber-physical control systems: we represent a cyber-physical system as a constrained switching system, where a single model embeds the dynamics of the physical process, the attack patterns, and the attack detection schemes. We show that this is compatible with established results in the analysis of hybrid automata, and, specifically, constrained switching systems. Moreover, we use the developed models to compute the impact of cyber attacks on the safety properties of the system. In particular, we characterise system safety as an asymptotic property, by calculating the maximal safe set. The resulting new impact metrics intuitively quantify the degradation of safety under attack. We showcase our results via illustrative examples.
