A Unified Compositional View of Attack Tree Metrics

Benedikt Peterseim, Milan Lopuhaä-Zwakenberg

Attack trees (ATs) are popular graphical models for reasoning about the security of complex systems, allowing for the quantification of risk through so-called AT metrics. A large v…