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 metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01243021
Contributor : Mathieu Acher <>
Submitted on : Monday, December 14, 2015 - 2:33:20 PM
Last modification on : Thursday, February 7, 2019 - 3:27:01 PM
Long-term archiving on : Tuesday, March 15, 2016 - 1:30:25 PM

File

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

Identifiers

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

Share

Metrics

Record views

980

Files downloads

381