Graphical security models provide an intuitive but systematic methodology to visualize possible attacks and countermeasures and to enable the computation of various security related parameters. The ADTool is free, open source software assisting graphical modeling and quantitative analysis of security, using attack-defense trees. The main features of the ADTool are easy creation, efficient editing, and ...