@article{761280, recid = {761280}, author = {Kordy, Barbara, and Ekstedt, Mathias, and Kim, Tong-sŏng,}, title = {Graphical models for security : third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised selected papers /. International Workshop on Graphical Models for Security}, pages = {1 online resource (ix, 167 pages) :}, note = {Includes author index.}, abstract = {This book constitutes the refereed proceedings from the Third International Workshop on Graphical Models for Security, GraMSec 2016, held in Lisbon, Portugal, in June 2016. The 9 papers presented in this volume were carefully reviewed and selected from 23 submissions. The volume also contains the invited talk by Xinming Ou. GraMSec contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. .}, url = {http://library.usi.edu/record/761280}, doi = {https://doi.org/10.1007/978-3-319-46263-9}, }