机构名称：
¥ 1.0
摘要：我们提出了一个用于建模信息物理控制系统中攻击场景的新颖框架：我们将信息物理系统表示为一个受约束的切换系统，其中单个模型嵌入了物理过程的动态、攻击模式和攻击检测方案。我们证明，这与混合自动机（即受约束的切换线性系统）中已建立的结果兼容。所提出的攻击建模方法允许大量非确定性攻击策略，并能够将系统安全性表征为渐近性质。通过计算最大安全集，由此产生的新影响指标可以直观地量化安全性的下降以及网络攻击对受攻击系统安全属性的影响。我们通过一个示例展示了我们的结果。
量化网络攻击对网络物理系统安全的影响
主要关键词
相关文件推荐
