Ravi Jhawar, Karim Lounis, Sjouke Mauw. A Stochastic Framework for Quantitative Analysis of Attack-Defense Trees. In Gilles Barthe, Evangelos P. Markatos, Pierangela Samarati, editors, Security and Trust Management - 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings. Volume 9871 of Lecture Notes in Computer Science, pages 138-153, Springer, 2016. [doi]
Abstract is missing.