隐蔽执行器攻击者的自由合成
摘要：对于由离散事件系统建模的网络物理系统，我们在本文中提出并解决了隐蔽执行器攻击者综合问题。我们假设执行器攻击者部分观察到封闭回路系统的执行过程，并能够修改由监控者下发的每个控制指令，仅限于可攻击的可控事件集合。我们通过使用子集构造过程提供了直观但一般耗时指数级的约简方法，从隐蔽执行器攻击者综合问题转化为Ramadge-Wonham监控者综合问题。由此可见，我们可以利用已经开发出来的许多用于解决监控者综合问题的技术和工具来免费解决隐蔽执行器攻击者综合问题。特别地，我们还证明了，如果攻击者不能攻击监控者的不可观察事件，则可以在多项式时间内进行约简。我们还对一些其他条件进行了简要讨论，以避免状态规模的指数级增长。最后，我们展示了如何扩展基于约简的综合过程，以用于合成成功的隐蔽执行器攻击者，这些攻击者还可以窃听监控者下发的控制指令。
作者：Liyong Lin, Yuting Zhu, Rong Su
论文ID：1904.10159
分类：Systems and Control
分类简称：cs.SY
提交时间：2021-03-23