Graphical Models for Security - Barbara Kordy, Mathias Ekstedt, Dong Seong Kim (Springer, 2016)