![]() Gadyatskaya, Olga ![]() ![]() ![]() in Quantitative Evaluation of Systems - 13th International Conference (2016) Detailed reference viewed: 194 (8 UL)![]() Kordy, Piotr ![]() ![]() in 19th International Symposium on Formal Methods (FM'14), 12-16 May 2014 (2014, May) Detailed reference viewed: 103 (2 UL)![]() Kordy, Barbara ![]() ![]() ![]() in 10th International Conference on Quantitative Evaluation of SysTems (2013) 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 ... [more ▼] 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 automated bottom-up evaluation of security-relevant measures. The tool also supports the usage of attack trees, protection trees and defense trees, which are all particular instances of attack-defense trees. [less ▲] Detailed reference viewed: 105 (8 UL) |
||