Graphical Models for Security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers - Liu, Peng; Liu, Peng; Mauw, Sjouke; Mauw, Sjouke; Stolen, Ketil; Stolen, Ketil (Springer International Publishing : Imprint: Springer, 2018)