Skip to Main content Skip to Navigation
New interface
Conference papers

Costs analysis of stealthy attacks with bounded output synchronized Petri nets

Abstract : 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.
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-03517596
Contributor : Leonardo Brenner Connect in order to contact the contributor
Submitted on : Monday, November 14, 2022 - 3:11:38 PM
Last modification on : Monday, November 14, 2022 - 3:44:22 PM

File

CPSecurity_CASE2021__Final_sub...
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

61

Files downloads

0