网络物理系统遭受网络攻击时安全影响量化方法
系统与控制
2023-01-02 v1 系统与控制
摘要
我们提出了一种用于建模网络物理控制系统中攻击场景的新框架：我们将网络物理系统表示为约束切换系统，其中单一模型嵌入了物理过程动力学、攻击模式与攻击检测机制。我们表明这与混合自动机尤其是约束切换系统分析中的既有结果相兼容。此外，我们利用所开发的模型来计算网络攻击对系统安全属性的影响。特别地，我们通过计算最大安全集，将系统安全性刻画为一种渐近属性。所得的新影响度量直观地量化了攻击下安全性的退化程度。我们通过示例说明了我们的结果。
引用
@article{arxiv.2211.12196,
title = {Quantifying impact on safety from cyber-attacks on cyber-physical systems},
author = {Eleftherios Vlahakis and Gregory Provan and Gordon Werner and Shanchieh Yang and Nikolaos Athanasopoulos},
journal= {arXiv preprint arXiv:2211.12196},
year = {2023}
}
备注
8 pages, 5 figures, submitted for presentation to IFAC World Congress 2023, Yokohama, JAPAN