Cargando…

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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Mauw, Sjouke (Editor ), Kordy, Barbara (Editor ), Jajodia, Sushil (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Security and Cryptology ; 9390
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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. .