Graphical Models for Security - Sjouke Mauw, Barbara Kordy, Sushil Jajodia (Springer, 2016)