This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 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.
artificial intelligence authentication computer crime computer science cyber-attacks embedded systems programming languages security analysis security requirements semantics software engineering
Editors and affiliations
1.Pennsylvania State UniversityUniversity ParkUSA
2.University of LuxembourgEsch-sur-AlzetteLuxembourg
Copyright InformationSpringer International Publishing AG 2018