Is my attack tree correct? - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Is my attack tree correct?

Résumé

Attack trees are a popular way to represent and evaluate potential security threats on systems or infrastructures. The goal of this work is to provide a framework allowing to express and check whether an attack tree is consistent with the analyzed system. We model real systems using transition systems and introduce attack trees with formally specified node labels. We formulate the cor-rectness properties of an attack tree with respect to a system and study the complexity of the corresponding decision problems. The proposed framework can be used in practice to assist security experts in manual creation of attack trees and enhance development of tools for automated generation of attack trees.
Fichier principal
Vignette du fichier
main.pdf (195.14 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01686505 , version 1 (17-01-2018)

Identifiants

Citer

Maxime Audinot, Sophie Pinchinat, Barbara Kordy. Is my attack tree correct?. ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Sep 2017, Oslo, Norway. pp.83-102, ⟨10.1007/978-3-319-66402-6_7⟩. ⟨hal-01686505⟩
280 Consultations
329 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More