Efficient and Generic Algorithms for Quantitative Attack Tree Analysis - Lopuhaa-Zwakenberg, Milan; Budde, Carlos E.; Stoelinga, Marielle (IEEE transactions on dependable and secure computing, 2023)
Keywords: Algorithms; Attack trees; BDD algorithms; computational complexity; Costs; Cybersecurity; Europe; formal methods; Genetic algorithms; Graph theory; Heuristic algorithms; Logic gates; Measurement; Security; security metrics; Semantics