René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen. Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata. In Peng Liu 0004, Sjouke Mauw, Ketil Stølen, editors, Graphical Models for Security - 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Volume 10744 of Lecture Notes in Computer Science, pages 75-90, Springer, 2017. [doi]
Abstract is missing.