ATSyRa: An Integrated Environment for Synthesizing Attack Trees

Sophie Pinchinat 1 Mathieu Acher 2 Didier Vojtisek 2
2 DiverSe - Diversity-centric Software Engineering
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : Attack trees are widely considered in the fields of security for the analysis of risks (or threats) against electronics, computer control, or physical systems. A major barrier is that attack trees can become largely complex and thus hard to specify. This paper presents ATSyRA, a tooling environment to automatically synthesize attack trees of a system under study. ATSyRA provides advanced editors to specify high-level descriptions of a system, high-level actions to structure the tree, and ways to interactively refine the synthesis. We illustrate how users can specify a military building, abstract and organize attacks, and eventually obtain a readable attack tree.
Type de document :
Communication dans un congrès
Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy. Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01243021
Contributeur : Mathieu Acher <>
Soumis le : lundi 14 décembre 2015 - 14:33:20
Dernière modification le : mercredi 29 novembre 2017 - 15:40:39
Document(s) archivé(s) le : mardi 15 mars 2016 - 13:30:25

Fichier

paper_3 (2).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01243021, version 1

Citation

Sophie Pinchinat, Mathieu Acher, Didier Vojtisek. ATSyRa: An Integrated Environment for Synthesizing Attack Trees . Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy. Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15. 〈hal-01243021〉

Partager

Métriques

Consultations de la notice

541

Téléchargements de fichiers

170