32 citations · 189 across the 41 of their papers we have counts for
3 papers · 2 filters
Attack time analysis in dynamic attack trees via integer linear programming
Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Attack trees (ATs) are an important tool in security analysis, and an important part of AT analysis is computing metrics. However, metric computation is NP-complete in general. In…
Model-based Joint Analysis of Safety and Security: Survey and Identification of Gaps
Stefano M. Nicoletti, Marijn Peppelman, Christina Kolb +1
We survey the state-of-the-art on model-based formalisms for safety and security joint analysis, where safety refers to the absence of unintended failures, and security to absence…
Efficient Algorithms for Quantitative Attack Tree Analysis
Carlos E. Budde, Mariëlle Stoelinga
Numerous analysis methods for quantitative attack tree analysis have been proposed. These algorithms compute relevant security metrics, i.e. performance indicators that quantify ho…