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