@inproceedings{3627cfec00694ae387ce863879a29e72,
title = "Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata",
author = "Hansen, {Rene Rydhof} and Jensen, {Peter Gj{\o}l} and Larsen, {Kim Guldstrand} and Axel Legay and Poulsen, {Danny B{\o}gsted}",
year = "2017",
doi = "10.1007/978-3-319-74860-3_5",
language = "English",
isbn = "978-3-319-74859-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "75--90",
booktitle = "Graphical Models for Security",
address = "Germany",
note = "International Workshop on Graphical Models for Security ; Conference date: 21-08-2017 Through 21-08-2017",
}