Marieta Georgieva Ivanova, Christian W. Probst, René Rydhof Hansen, Florian Kammüller. Attack Tree Generation by Policy Invalidation. In Raja Naeem Akram, Sushil Jajodia, editors, Information Security Theory and Practice - 9th IFIP WG 11.2 International Conference, WISTP 2015 Heraklion, Crete, Greece, August 24-25, 2015 Proceedings. Volume 9311 of Lecture Notes in Computer Science, pages 249-259, Springer, 2015. [doi]