32 citations · 189 across the 41 of their papers we have counts for
4 papers · 1 filter
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…
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
Thom S. Badings, Alessandro Abate, Nils Jansen +3
Controllers for autonomous systems that operate in safety-critical settings must account for stochastic disturbances. Such disturbances are often modelled as process noise, and com…
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…