Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers - Mauw, Sjouke; Kordy, Barbara; Jajodia, Sushil (Springer International Publishing : Imprint: Springer, 2016)