结合混合输入输出自动机与博弈论的信息物理系统安全建模
系统与控制
2020-12-24 v4 系统与控制
摘要
我们考虑这样一种安全场景：信息物理系统（CPS）由若干子网络组成，每个子网络归一个防御者所有。此类CPS可表示为一个攻击图，防御者需要在图的边上投资（受预算约束）以保护其关键资产（每个防御者的关键资产若被攻陷，对防御者具有特定价值）。我们使用混合输入输出自动机（HIOA）对此类CPS建模，其中每个子网络由一个HIOA模块表示。我们首先建立本场景所需的基本构件。随后给出我们的模型，刻画投资的连续时间演化以及系统内部不同状态（每个状态代表不同条件和/或扰动）之间的离散转移。最后，我们给出一个真实世界的CPS实例来验证我们的建模。
引用
@article{arxiv.2012.00788,
title = {Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems},
author = {Mustafa Abdallah and Sayan Mitra and Shreyas Sundaram and Saurabh Bagchi},
journal= {arXiv preprint arXiv:2012.00788},
year = {2020}
}