8 citations · 18 across the 5 of their papers we have counts for
6 papers
Minimal Asymmetric Graphs
Pascal Schweitzer, Patrick Schweitzer
Confirming a conjecture of Nešetřil, we show that up to isomorphism there is only a finite number of finite minimal asymmetric undirected graphs. In fact, there are exactly 18 such…
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…
Competition Numbers, Quasi-Line Graphs and Holes
Brendan D. McKay, Pascal Schweitzer, Patrick Schweitzer
The competition graph of a directed acyclic graph D is the undirected graph on the same vertex set as D in which two distinct vertices are adjacent if they have a common out-neighb…
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…