Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs - Archive ouverte HAL
Article Dans Une Revue IEEE Robotics and Automation Letters Année : 2023

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

Résumé

This paper 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.
Fichier principal
Vignette du fichier
RAL_Analysis_of_stealthy_attacks_preprint_version_accepted.pdf (1.38 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04202802 , version 1 (27-09-2023)

Licence

Identifiants

Citer

Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre. Robust Stealthy Attacks Based on Uncertain Costs and Labeled Finite Automata With Inputs. IEEE Robotics and Automation Letters, 2023, 8 (5), pp.2732-2739. ⟨10.1109/LRA.2023.3250007⟩. ⟨hal-04202802⟩
75 Consultations
102 Téléchargements

Altmetric

Partager

More