Quantitative Attack-Defense Tree Synthesis, Analysis and Verification

Quantitative analysis of attack-defense trees can distinguish likely from unlikely vulnerabilities by utilizing information such as probabilities, costs, and timing. This paper presents a tool, QuADTool, that allows for easy synthesis and analysis of attack-defense tree models, including support for probabilities, costs, and time. The tool also provides interfaces to existing model checkers and analysis tools.