利用观测数据合成针对未知监督器的最大许可隐蔽攻击者
系统与控制
2021-06-24 v1 系统与控制
摘要
在本文中,我们考虑在监督器模型对敌手未知、但敌手已记录了一组(前缀闭的)闭环系统运行观测值的设定下,合成最大许可的隐蔽可达损害攻击者的问题。所合成的攻击者需要针对所有与给定观测值集合一致的监督器,同时确保可达损害性和隐蔽性。从敌手的角度看,在假设监督器模型已知情况下的实际最大许可性,与仅掌握有限监督器模型知识所能达到的最大许可性之间存在差距。我们考虑敌手可实施传感器替换/删除攻击和执行器使能/禁能攻击的设定。本文提出的求解方法是将给定被控对象模型和有限观测值集合下的最大许可隐蔽可达损害攻击者的合成问题,归约为针对某变换后被控对象的最大许可安全监督器的合成问题,从而证明了观测辅助的隐蔽攻击者合成问题的可判定性。我们基于文献中的一个水箱实例说明了方法的有效性。
引用
@article{arxiv.2106.12268,
title = {Synthesis of Maximally Permissive Covert Attackers Against Unknown Supervisors by Using Observations},
author = {Ruochen Tai and Liyong Lin and Yuting Zhu and Rong Su},
journal= {arXiv preprint arXiv:2106.12268},
year = {2021}
}