Property Specification and Models for Risk: Towards Risk Propagation Graphs - 42nd International Conference on Computer Safety, Reliability and Security
Communication Dans Un Congrès Année : 2023

Property Specification and Models for Risk: Towards Risk Propagation Graphs

Stefano M Nicoletti
Mattia Fumagalli
Milan Lopuhaä-Zwakenberg
E Moritz Hahn
Giancarlo Guizzardi
Mariëlle Stoelinga

Résumé

Safety-critical infrastructures must operate safely and securely. Fault tree and attack tree analysis are widespread methods used to assess risks in these systems: fault trees (FTs) are requiredamong others-by the Federal Aviation Administration, the Nuclear Regulatory Commission, in the ISO26262 standard for autonomous driving and for software development in aerospace systems. Attack trees (ATs) are hierarchical diagrams that offer a flexible modelling language used to assess how systems can be attacked. ATs are widely employed both in industry and academia: they are referred to by many system engineering frameworks, e.g. UMLsec and SysMLsec, and are supported by industrial tools such as Isograph's AttackTree. In this paper we will briefly present advancements on logics for property specification on FTs and ATs and pitch the idea of an extended model that combines FTs and ATs: risk propagation graphs.
Fichier principal
Vignette du fichier
SAFECOMP_2023_paper_7449.pdf (460.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04191775 , version 1 (30-08-2023)

Identifiants

  • HAL Id : hal-04191775 , version 1

Citer

Stefano M Nicoletti, Mattia Fumagalli, Milan Lopuhaä-Zwakenberg, E Moritz Hahn, Giancarlo Guizzardi, et al.. Property Specification and Models for Risk: Towards Risk Propagation Graphs. SAFECOMP 2023, Position Paper, Sep 2023, Toulouse, France. ⟨hal-04191775⟩

Collections

LAAS SAFECOMP2023
111 Consultations
128 Téléchargements

Partager

More