论文标题
通过使用观察结果，对未知主管的至上秘密攻击者的合成
Synthesis of the Supremal Covert Attacker Against Unknown Supervisors by Using Observations
论文作者
论文摘要
在本文中，我们考虑了综合至上秘密损伤攻击者的问题，在主管模型中，对手未知，但对手记录了一套（前缀封闭的）有限的封闭式系统运行的有限观测值。合成的攻击者需要确保对所有与给定的观测值一致的主管的损害可触觉和秘密性。假设主管的模型已知，并且从对手的角度来看，事实上的至高无上的至高无上的差距可以在有限的对主管模型的知识中获得的至高无上。我们考虑攻击者可以在该设置中行使传感器更换/删除攻击和执行器启用/残障攻击。这项工作中提出的解决方案方法是减少鉴于植物模型和有限的观测值的秘密损伤攻击者的合成，以综合某些转化工厂的至上安全的监督者，这表明了观察辅助的秘密攻击者的合成问题。在文献改编的水箱示例中说明了我们方法的有效性。
In this paper, we consider the problem of synthesizing the supremal covert damage-reachable attacker, in the setup where the model of the supervisor is unknown to the adversary but the adversary has recorded a (prefix-closed) finite set of observations of the runs of the closed-loop system. The synthesized attacker needs to ensure both the damage-reachability and the covertness against all the supervisors which are consistent with the given set of observations. There is a gap between the de facto supremality, assuming the model of the supervisor is known, and the supremality that can be attained with a limited knowledge of the model of the supervisor, from the adversary's point of view. We consider the setup where the attacker can exercise sensor replacement/deletion attacks and actuator enablement/disablement attacks. The solution methodology proposed in this work is to reduce the synthesis of the supremal covert damage-reachable attacker, given the model of the plant and the finite set of observations, to the synthesis of the supremal safe supervisor for certain transformed plant, which shows the decidability of the observation-assisted covert attacker synthesis problem. The effectiveness of our approach is illustrated on a water tank example adapted from the literature.
