Graphical Models for Security - Massimiliano Albanese, Ross Horne, Christian W. Probst (Springer, 2019)