@inproceedings{JLM16, author = {Ravi Jhawar and Karim Lounis and Sjouke Mauw}, title = {A Stochastic Framework for Quantitative Analysis of Attack-Defense Trees}, booktitle = {Proc.\ 12th Workshop on Security and Trust Management (STM'16)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, address = {Heraklion, Greece}, month = {September 26-27}, year = {2016}, editor = {G.\ Barthe and E.\ Markatos and P.\ Samarati}, volume = {9871}, pages = {138--153} }