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...

Table of Contents:

• Integrated Visualization of Network Security Metadata from Heterogeneous Data Sources
• SysML-Sec Attack Graphs: Compact Representations for Complex Attacks
• Guided Specification and Analysis of a Loyalty Card System
• How to Generate Security Cameras: Towards Defence Generation for Sociotechnical Systems
• Transforming Graphical System Models to Graphical Attack Models
• ATSyRa: An Integrated Environment for Synthesizing Attack Trees. .