Supervisor Obfuscation Against Covert Actuator Attackers
This work investigates the problem of synthesizing obfuscated supervisors against covert actuator attackers. For a non-resilient supervisor S, for which there exist some covert actuator attackers that are capable of inflicting damage, we propose an algorithm to compute all the obfuscated supervisors, with the requirements that: 1) any obfuscated supervisor S' is resilient against any covert actuator attacker, and 2) the original closed-behavior of the closed-loop system under S is preserved, that is, any obfuscated supervisor S' is control equivalent to the original non-resilient supervisor S. We prove that the designed algorithm to synthesize obfuscated supervisors against covert actuator attack is sound and complete.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers
This work investigates the problem of synthesizing fortified supervisors against covert actuator attackers. For a non-resilient supervisor S, i.e., there exists at least a covert actuator attacker that is capable of infl…
Observation-Assisted Heuristic Synthesis of Covert Attackers Against Unknown Supervisors
In this work, we address the problem of synthesis of covert attackers in the setup where the model of the plant is available, but the model of the supervisor is unknown, to the adversary. To compensate the lack of knowle…
Synthesis of Maximally Permissive Covert Attackers Against Unknown Supervisors by Using Observations
In this paper, we consider the problem of synthesis of maximally permissive covert damage-reachable attackers in the setup where the model of the supervisor is unknown to the adversary but the adversary has recorded a (p…
Privacy-Preserving Co-synthesis Against Sensor-Actuator Eavesdropping Intruder
In this work, we investigate the problem of privacy-preserving supervisory control against an external passive intruder via co-synthesis of dynamic mask, edit function, and supervisor for opacity enforcement and requirem…
Privacy PreservingSynthesis 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-cl…