Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs

• Published in: IEEE robotics and automation letters Vol. 8; no. 5; pp. 2732 - 2739
• Main Authors: Ammour, Rabah, Amari, Said, Brenner, Leonardo, Demongodin, Isabel, Lefebvre, Dimitri
• Format: Journal Article
• Language: English
• Published: Piscataway IEEE 01.05.2023; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Actuators; Automata; Automatic Control Engineering; Computer Science; Cost analysis; Costs; Cryptography and Security; Cyber-physical systems; Cyberattack; Cybersecurity; Discrete event systems; Robot sensing systems; robust attacks; Robustness; Symbols; Uncertainty; Discrete Event Systems; Robust Attacks; Cyber-Physical Systems; Automata
• ISSN: 2377-3766; 2377-3766
• DOI: 10.1109/LRA.2023.3250007

This letter deals with the vulnerability analysis of cyber-physical systems subject to malicious actions. For this purpose, the considered system is assumed to be abstracted as a discrete event system. Labeled finite automata with inputs are used to model the system's behavior along with the information that circulates in both the input and output channels. In particular, we study here stealthy, i.e., undetectable, cyber-attacks that aim to drive the system from a given normal state to a set of forbidden states. We assume that the attacker has limited resources, i.e., a credit, to insert and delete control and sensors events. The proposed analysis evaluates the costs of such attacks on the controlled system depending on its structure, the cost of the malicious actions and possible uncertainties that may affect those costs. It provides systematic methods that aim to compute attacks of minimal cost and robust attacks that are weakly impacted by uncertainties. A case study representing a manufacturing plant is considered to illustrate the results.