Graphical Models for Security - Peng Liu, Sjouke Mauw, Ketil Stolen (Springer, 2018)