Steve Muller, Carlo Harpes, Cédric Muller. Fast and Optimal Countermeasure Selection for Attack Defence Trees. In Jürgen Großmann, Michael Felderer, Fredrik Seehusen, editors, Risk Assessment and Risk-Driven Quality Assurance - 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers. Volume 10224 of Lecture Notes in Computer Science, pages 53-65, 2016. [doi]
Abstract is missing.