arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1807.04069eess.SYcs.SY
收藏

基于完美不可检测性的执行器安全指数:计算、鲁棒性与传感器布置

Actuator Security Indices Based on Perfect Undetectability: Computation, Robustness, and Sensor Placement

KTH Royal Institute of Technology(皇家理工学院);Uppsala University(乌普萨拉大学)

Jezdimir Milosevic, Andre Teixeira, Henrik Sandberg, Karl Henrik Johansson

AI总结:

本文提出基于完美不可检测性定义的执行器安全指数,用于帮助控制系统操作员定位网络化控制系统中最易受攻击的执行器,从而进行保护。该指数等于需要被入侵的传感器和执行器的最小数量,以实现对特定执行器的完美不可检测攻击。针对小规模网络化控制系统,推导出计算该指数的方法,并展示通过增加传感器可以提高该指数。对于大规模系统,计算指数是NP难问题,指数易受系统变化影响,并基于攻击者知晓整个系统模型的假设。为解决这些问题,引入了鲁棒安全指数,该指数可在多项式时间内计算,不受系统变化影响,并可与有限和完整模型知识攻击者相关联。此外,分析了两个旨在提高鲁棒指数的传感器布置问题,证明这两个问题具有子模结构,因此可在多项式时间内获得具有性能保证的次优解。最后,通过数值示例展示了理论发展。

摘要:

本文提出基于完美不可检测性定义的执行器安全指数。该指数帮助控制系统操作员定位网络化控制系统中最易受攻击的执行器,从而进行保护。具体而言,执行器的安全指数等于需要被入侵的传感器和执行器的最小数量,以实现对特定执行器的完美不可检测攻击。针对小规模网络化控制系统,推导出计算该指数的方法,并展示通过增加传感器可以提高该指数。对于大规模系统,计算指数是NP难问题,指数易受系统变化影响,并基于攻击者知晓整个系统模型的假设。为解决这些问题,引入了鲁棒安全指数。鲁棒指数可在多项式时间内计算,不受系统变化影响,并可与有限和完整模型知识攻击者相关联。此外,分析了两个旨在提高鲁棒指数的传感器布置问题,证明这两个问题具有子模结构,因此可在多项式时间内获得具有性能保证的次优解。最后,通过数值示例展示了理论发展。

英文摘要:

This paper proposes an actuator security index based on the definition of perfect undetectability. This index can help a control system operator to localize the most vulnerable actuators in the networked control system, which can then be secured. Particularly, the security index of an actuator equals the minimum number of sensors and actuators that needs to be compromised, such that a perfectly undetectable attack against that actuator can be conducted. A method for computing the index for small scale networked control systems is derived, and it is shown that the index can potentially be increased by placing additional sensors. The difficulties that appear once the system is of a large scale are then outlined: the problem of calculating the index is NP--hard, the index is vulnerable to system variations, and it is based on the assumption that the attacker knows the entire model of the system. To overcome these difficulties, a robust security index is introduced. The robust index can be calculated in polynomial time, it is unaffected by the system variations, and it can be related to both limited and full model knowledge attackers. Additionally, we analyze two sensor placement problems with the objective to increase the robust indices. We show that both of these problems have submodular structures, so their suboptimal solutions with performance guarantees can be obtained in polynomial time. Finally, the theoretical developments are illustrated through numerical examples.

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

↑