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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Mauw, Sjouke (Επιμελητής έκδοσης), Kordy, Barbara (Επιμελητής έκδοσης), Jajodia, Sushil (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Έκδοση: 1st ed. 2016.
• Σειρά: Lecture Notes in Computer Science, 9390
• Θέματα: 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...

Πίνακας περιεχομένων:

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