Christian W. Probst, Jan Willemson, Wolter Pieters. The Attack Navigator. In Sjouke Mauw, Barbara Kordy, Sushil Jajodia, editors, Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers. Volume 9390 of Lecture Notes in Computer Science, pages 1-17, Springer, 2015. [doi]