Peng Liu & Sjouke Mauw 
Graphical Models for Security 
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, Gra MSec 2017, held in Santa Barbara, CA, USA, in August 2017. The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest research and developments on graphical models for security.