Skip to Main content Skip to Navigation
New interface
Journal articles

Parametric Analyses of Attack-fault Trees

Abstract : Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i.e., absence of unintentional failures) and security (i.e., no disruptions due to attackers) are conditions that must be guaranteed. One of the traditional tools used to consider these problems is attack trees, a treebased formalism inspired by fault trees, a well-known formalism used in safety engineering. In this paper we define and implement the translation of attack-fault trees (AFTs) to a new extension of timed automata, called parametric weighted timed automata. This allows us to parameterize constants such as time and discrete costs in an AFT and then, using the model-checker IMITATOR, to compute the set of parameter values such that a successful attack is possible. Moreover, we add the possibility to define countermeasures. Using the different sets of parameter values computed, different attack and fault scenarios can be deduced depending on the budget, time or computation power of the attacker, providing helpful data to select the most efficient countermeasure .
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03483440
Contributor : Étienne André Connect in order to contact the contributor
Submitted on : Thursday, December 16, 2021 - 3:07:11 PM
Last modification on : Thursday, November 17, 2022 - 4:48:10 PM
Long-term archiving on: : Thursday, March 17, 2022 - 7:17:39 PM

File

figuide.pdf
Files produced by the author(s)

Identifiers

Citation

Étienne André, Didier Lime, Mathias Ramparison, Mariëlle Stoelinga. Parametric Analyses of Attack-fault Trees. Fundamenta Informaticae, 2021, 182 (1), pp.69 - 94. ⟨10.3233/fi-2021-2066⟩. ⟨hal-03483440⟩

Share

Metrics

Record views

54

Files downloads

47