Graphical Models for Security - Liu; Ketil Stolen; Sjouke Mauw; Mauw, Sjouke; Stolen, Ketil (Springer International Publishing, 2018)