Skip to Main content Skip to Navigation
Conference papers

ATSyRa: An Integrated Environment for Synthesizing Attack Trees

Sophie Pinchinat 1 Mathieu Acher 2 Didier Vojtisek 2
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Mathieu Acher Connect in order to contact the contributor
Submitted on : Monday, December 14, 2015 - 2:33:20 PM
Last modification on : Thursday, January 20, 2022 - 5:33:08 PM
Long-term archiving on: : Tuesday, March 15, 2016 - 1:30:25 PM


paper_3 (2).pdf
Files produced by the author(s)


  • HAL Id : hal-01243021, version 1


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. ⟨hal-01243021⟩



Les métriques sont temporairement indisponibles