Attack time analysis in dynamic attack trees via integer linear
programming

v1v2v3v4 (latest)

Attack time analysis in dynamic attack trees via integer linear programming

9 November 2021

Milan Lopuhaä-Zwakenberg

Marielle Stoelinga

ArXiv (abs)PDF HTML

Papers citing "Attack time analysis in dynamic attack trees via integer linear programming"

6 / 6 papers shown

Title
Attack-Defense Trees with Offensive and Defensive Attributes (with Appendix) Danut-Valentin Copae Reza Soltani Milan Lopuhaä-Zwakenberg AAML 53 0 0 17 Apr 2025
Quantitative analysis of attack-fault trees via Markov decision processes Milan Lopuhaä-Zwakenberg 23 0 0 13 Aug 2024
Attack tree metrics are operad algebras Milan Lopuhaä-Zwakenberg 8 1 0 18 Jan 2024
ATM: a Logic for Quantitative Security Properties on Attack Trees Stefano M. Nicoletti Milan Lopuhaä-Zwakenberg Ernst Moritz Hahn Marielle Stoelinga 23 4 0 17 Sep 2023
Cost-damage analysis of attack trees Milan Lopuhaä-Zwakenberg Marielle Stoelinga AAML 27 3 0 12 Apr 2023
Efficient and Generic Algorithms for Quantitative Attack Tree Analysis Milan Lopuhaä-Zwakenberg C. E. Budde Marielle Stoelinga 21 15 0 10 Dec 2022