Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Mauw, Sjouke (Editor), Kordy, Barbara (Editor), Jajodia, Sushil (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Edition: 1st ed. 2016.
• Series: Lecture Notes in Computer Science, 9390
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer security.; Algorithms.; Computer logic.; Computer Science.; Systems and Data Security.; Computer Communication Networks.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Information Systems Applications (incl. Internet).; Logics and Meanings of Programs.

This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015. The 5 revised full papers presented together with one short tool paper and one invited lecture were ca...