Costs analysis of stealthy attacks with bounded output synchronized Petri nets - Archive ouverte HAL Access content directly
Conference Papers Year :

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.
Fichier principal
Vignette du fichier
CPSecurity_CASE2021__Final_submission_.pdf (1.09 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
85 View
11 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More