GraMSec 2015

The Second International Workshop on
Graphical Models for Security

Verona, Italy - July 13, 2015

Co-located with CSF 2015



  • Volker Ahlers, Felix Heine, Bastian Hellmann, Carsten Kleiner, Leonard Renners, Thomas Rossow and Ralf Steuerwald
    Integrated Visualization of Network Security Metadata from Heterogeneous Data Sources
  • Ludovic Apvrille and Yves Roudier
    SysML-Sec Attack Graphs: Compact Representations for Complex Attacks
  • Laurent Cuennet, Marc Pouly and Sasa Radomirovic
    Guided Specification and Analysis of a Loyalty Card System
  • Olga Gadyatskaya
    How to Generate Security Cameras: Towards Defence Generation for Socio-Technical Systems
  • Marieta Georgieva Ivanova, Christian W. Probst, Rene Rydhof Hansen and Florian Kammueller
    Transforming Graphical System Models to Graphical Attack Models


  • Sophie Pinchinat, Mathieu Acher and Didier Vojtisek
    ATSyRa: An Integrated Environment for Synthesizing Attack Trees
logo GMU     logo UL    logo INSA logo IRISA logo TREsPASS