Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences - ETIS, équipe de recherche CELL Access content directly
Journal Articles (Review Article) ACM Transactions on Cyber-Physical Systems Year : 2023

Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences

Nga Nguyen
Michel Batteux

Abstract

Discrete event systems are increasingly used as a modeling tool to assess safety and cybersecurity of complex systems. In both cases, the analysis relies on the extraction of critical sequences. This approach proves to be very powerful. It suffers, however, from the combinatorial explosion of the number of sequences to look at. To push the limits of what is feasible with reasonable computational resources, extraction algorithms use cutoffs and minimality criteria. In this article, we review the principles of extraction algorithms, and we show that there are important differences between critical sequences extracted in the context of safety analyses and those extracted in the context of cybersecurity analyses. Based on this thorough comparison, we introduce a new cutoff criterion, so-called footprint, that aims at capturing the willfulness of an intruder performing a cyberattack. We illustrate our presentation by means of three case studies, one focused on the analysis of failures and two focused on the analysis of cyberattacks and their effects on safety. We show experimentally the interest of the footprint criterion.
Fichier principal
Vignette du fichier
Minimal_Critical_Sequences_in_Model_Based_Safety_and_Security_Analyses__Commonalities_and_Differences.pdf (731.1 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04175993 , version 1 (02-08-2023)

Identifiers

Cite

Théo Serru, Nga Nguyen, Michel Batteux, Antoine Rauzy. Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences. ACM Transactions on Cyber-Physical Systems, 2023, 7 (3), pp.17. ⟨10.1145/3593811⟩. ⟨hal-04175993⟩
65 View
44 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More