8 citations · 20 across the 7 of their papers we have counts for
7 papers
Is my attack tree correct? Extended version
Maxime Audinot, Sophie Pinchinat, Barbara Kordy
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 expre…
Attack Trees with Sequential Conjunction
Ravi Jhawar, Barbara Kordy, Sjouke Mauw +2
We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity…
Proceedings First International Workshop on Graphical Models for Security
Barbara Kordy, Sjouke Mauw, Wolter Pieters
The present volume contains the proceedings of the First International Workshop on Graphical Models for Security (GraMSec'14). The workshop was held in Grenoble, France, on April 1…
ADTool: Security Analysis with Attack-Defense Trees (Extended Version)
Barbara Kordy, Piotr Kordy, Sjouke Mauw +1
The ADTool is free, open source software assisting graphical modeling and quantitative analysis of security, using attack-defense trees. The main features of the ADTool are easy cr…
DAG-Based Attack and Defense Modeling: Don't Miss the Forest for the Attack Trees
Barbara Kordy, Ludovic Piètre-Cambacédès, Patrick Schweitzer
This paper presents the current state of the art on attack and defense modeling approaches that are based on directed acyclic graphs (DAGs). DAGs allow for a hierarchical decomposi…
Quantitative Questions on Attack-Defense Trees
Barbara Kordy, Sjouke Mauw, Patrick Schweitzer
Attack-defense trees are a novel methodology for graphical security modeling and assessment. The methodology includes visual, intuitive tree models whose analysis is supported by a…
Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent - Technical Report with Proofs
Barbara Kordy, Sjouke Mauw, Matthijs Melissen +1
Attack--defense trees are used to describe security weaknesses of a system and possible countermeasures. In this paper, the connection between attack--defense trees and game theory…