arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2012.00788eess.SYcs.SY
收藏

基于混合输入输出自动机和博弈论的信息物理系统安全建模

Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems

Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi

摘要:

我们考虑一个安全设置,其中的网络物理系统(CPS)是由子网络,每个子网络的所有权下的一个后卫。这样的CPS可以由攻击图表示,其中防御者被要求在图的边缘上投资(受到预算约束),以便保护他们的关键资产(其中每个防御者的关键资产如果受到损害,则对防御者具有一定的价值)。我们这样的CPS模型使用混合输入输出自动机(HIOA),其中每个子网络由一个HIOA模块表示。我们首先建立我们的设置所需的构建块。然后,我们提出了我们的模型,该模型描述了系统内不同状态(每个状态代表不同的条件和/或扰动)之间的投资和离散过渡的连续时间演化。最后,我们提供了一个现实世界的CPS的例子来验证我们的建模。

英文摘要:

We consider a security setting in which the Cyber-Physical System (CPS) is composed of subnetworks where each subnetwork is under ownership of one defender. Such CPS can be represented by an attack graph where the defenders are required to invest (subject to a budget constraint) on the graph's edges in order to protect their critical assets (where each defender's critical asset has a certain value to the defender if compromised). We model such CPS using Hybrid Input-Output Automaton (HIOA) where each subnetwork is represented by a HIOA module. We first establish the building blocks needed in our setting. We then present our model that characterizes the continuous time evolution of the investments and discrete transitions between different states (where each state represents different condition and/or perturbation) within the system. Finally, we provide a real-world CPS example to validate our modeling.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑