QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification

Florian Dorfhuber, Julia Eisentraut, Katharina Klioba +1

Ranking risks and countermeasures is one of the foremost goals of quantitative security analysis. One of the popular frameworks, used also in industrial practice, for this task are…