You are about to access our book library "Graphical Models for Security: Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers (Lecture Notes in Computer Science Book 9390) full version" .