References of "Kordy, Piotr 50009730"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailAttack trees for practical security assessment: ranking of attack scenarios with ADTool 2.0
Gadyatskaya, Olga UL; Jhawar, Ravi UL; Kordy, Piotr UL et al

in Quantitative Evaluation of Systems - 13th International Conference (2016)

Detailed reference viewed: 337 (8 UL)
Full Text
Peer Reviewed
See detailA symbolic algorithm for the analysis of robust timed automata
Kordy, Piotr UL; Langerak, Rom; Mauw, Sjouke UL et al

in 19th International Symposium on Formal Methods (FM'14), 12-16 May 2014 (2014, May)

Detailed reference viewed: 164 (2 UL)
Full Text
Peer Reviewed
See detailADTool: Security Analysis with Attack-Defense Trees (Tool Demonstration Paper)
Kordy, Barbara UL; Kordy, Piotr UL; Mauw, Sjouke UL et al

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: 229 (8 UL)