Synthesis of covert actuator attackers for free
From MaRDI portal
Publication:2220340
Abstract: In this paper, we shall formulate and address a problem of covert actuator attacker synthesis for cyber-physical systems that are modelled by discrete-event systems. We assume the actuator attacker partially observes the execution of the closed-loop system and is able to modify each control command issued by the supervisor on a specified attackable subset of controllable events. We provide straightforward but in general exponential-time reductions, due to the use of subset construction procedure, from the covert actuator attacker synthesis problems to the Ramadge-Wonham supervisor synthesis problems. It then follows that it is possible to use the many techniques and tools already developed for solving the supervisor synthesis problem to solve the covert actuator attacker synthesis problem for free. In particular, we show that, if the attacker cannot attack unobservable events to the supervisor, then the reductions can be carried out in polynomial time. We also provide a brief discussion on some other conditions under which the exponential blowup in state size can be avoided. Finally, we show how the reduction based synthesis procedure can be extended for the synthesis of successful covert actuator attackers that also eavesdrop the control commands issued by the supervisor.
Recommendations
- Synthesis of covert actuator and sensor attackers
- Synthesis of optimal covert sensor-actuator attackers for discrete-event systems
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Dealing with sensor and actuator deception attacks in supervisory control
Cites work
- A unified approach to control problems in discrete event processes
- Attack Detection and Identification in Cyber-Physical Systems
- Detection and mitigation of classes of attacks in supervisory control systems
- Games for synthesis of controllers with partial observation.
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- On the computation of natural observers in discrete-event systems
- Quantitative multi-objective verification for probabilistic systems
- Stealthy deception attacks on water SCADA systems
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Supervisory control of discrete-event systems
- Supervisory control of discrete-event systems under attacks
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
Cited in
(15)- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Observation-assisted heuristic synthesis of covert attackers against unknown supervisors
- Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
- Discrete-event systems subject to unknown sensor attacks
- Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
- Synthesis of covert actuator and sensor attackers
- Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system
- Synthesis of optimal covert sensor-actuator attackers for discrete-event systems
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Synthesis of covert command attackers at the supervisory layer of cyber-physical systems
- Diagnosability and attack detection for discrete event systems under sensor attacks
- A two-pronged approach to security of discrete-event systems
- A new algorithm for supervisor reduction/localisation of discrete-event systems
- Offline supervisory control synthesis: taxonomy and recent developments
This page was built for publication: Synthesis of covert actuator attackers for free
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2220340)
