Costs analysis of stealthy attacks with bounded output synchronized Petri nets - Aix-Marseille Université Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Costs analysis of stealthy attacks with bounded output synchronized Petri nets

Résumé

This paper concerns the security analysis of discrete event systems modeled with a particular class of synchronized Petri nets that include output functions, called Output Synchonized Petri nets. Such a formalism is suitable and tractable to represent a large variety of cyber-physical systems. In particular, we study here cyber-attacks that aim to drive the system from a given normal state to forbidden state. We assume that the attacker has a certain credit to insert and delete input and output events, depending on its own objectives. The proposed analysis aims to evaluate the costs of stealthy attacks on the controlled system depending on the objective of the controller, the structure of the system and the cost of the malicious actions.
Fichier principal
Vignette du fichier
CPSecurity_CASE2021__Final_submission_.pdf (1.09 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03517596 , version 1 (14-11-2022)

Identifiants

Citer

Rabah Ammour, Said Amari, Leonardo Brenner, Isabel Demongodin, Dimitri Lefebvre. Costs analysis of stealthy attacks with bounded output synchronized Petri nets. 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), Aug 2021, Lyon, France. pp.799-804, ⟨10.1109/CASE49439.2021.9551583⟩. ⟨hal-03517596⟩
106 Consultations
54 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More