Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers - Kordy, Barbara; Ekstedt, Mathias; Kim, Dong Seong (Springer International Publishing : Imprint: Springer, 2016)