Quantifying impact on safety from cyber-attacks on cyber-physical systems
Quantifying impact on safety from cyber-attacks on cyber-physical systems
复制标题
DOI：
10.48550/arxiv.2211.12196
复制
发表时间：
2022-11
期刊：
影响因子：
--
通讯作者：
E. Vlahakis;G. Provan;Gordon Werner;S. Yang;N. Athanasopoulos
中科院分区：
文献类型：
--
作者：
E. Vlahakis;G. Provan;Gordon Werner;S. Yang;N. Athanasopoulos
我们提出了一个新的框架来模拟网络物理控制系统中的攻击场景：我们将网络物理系统表示为一个受约束的交换系统，其中单个模型嵌入了物理过程的动态、攻击模式和攻击检测方案。我们表明，这与混杂自动机，特别是约束切换系统的分析结果是一致的。此外，我们还利用所建立的模型计算了网络攻击对系统安全性能的影响。特别地，通过计算最大安全集，我们将系统安全性刻画为一个渐近性质。由此产生的新影响指标直观地量化了安全在攻击下的降级。我们通过举例说明我们的结果。
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.