Graphical models for security 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017 : revised selected papers - Liu, Peng 1970-; Mauw, Sjouke; Stolen, Ketil (Lecture Notes in Computer Science, 2018)