[agents] GraMSec'15 CALL FOR PARTICIPATION

[Barbara Kordy]

************************************************************
GraMSec 2015
The Second International Workshop on Graphical Models for Security

Verona, Italy - July 13, 2015
http://gramsec.uni.lu/

Co-located with
28th IEEE Computer Security Foundations Symposium (CSF)
************************************************************


GraMSec REGISTRATION IS NOW OPEN

To register please follow the instructions given at
http://www.gramsec.uni.lu/registration.php


ABOUT GraMSec

Graphical security models provide an intuitive but systematic
methodology to analyze security weaknesses of systems and to evaluate
potential protection measures. Such models have been subject of
academic research and they have also been widely accepted by the
industrial sector, as a means to support and facilitate threat
analysis and risk management processes. The objective of GraMSec is to
contribute to the development of well-founded graphical security
models, efficient algorithms for their analysis, as well as
methodologies for their practical usage.


PROGRAM

8:30 – 9:15 REGISTRATION

9:20 – 9:30 OPENING

9:35 – 10:30 STAST INVITED LECTURE

* Simone Fischer-Hübner (Karlstad University, Sweden)
   Eliciting Requirements for Privacy-enhancing Transparency Tool

10:30 – 11:00 COFFEE BREAK

11:00 – 12:30 REPRESENTATION AND ANALYSIS SESSION

* 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

* Laurent Cuennet, Marc Pouly and Sasa Radomirovic
   Guided Specification and Analysis of a Loyalty Card System

* Ludovic Apvrille and Yves Roudier
   SysML-Sec Attack Graphs: Compact Representations for Complex Attacks

12:30 – 14:00 LUNCH BREAK

14:00 – 15:00 GraMSec INVITED LECTURE

* Marc Bouissou (École Centrale Paris, EDF R&D, France)
    Dynamic Graphical Models for Security and Safety Joint Modeling

15:00 – 15:30 TOOL SESSION

* Sophie Pinchinat, Mathieu Acher and Didier Vojtisek
   ATSyRa: An Integrated Environment for Synthesizing Attack Trees

15:30 – 16:00 COFFEE BREAK

16:00 – 17:00 GENERATION SESSION

* Marieta Georgieva Ivanova, Christian W. Probst, Rene Rydhof Hansen and 
Florian Kammueller
   Transforming Graphical System Models to Graphical Attack Models

* Olga Gadyatskaya
   How to Generate Security Cameras: Towards Defence Generation for 
Socio-Technical Systems

17:00 – 17:10 CLOSING

In the evening, we plan to have an informal dinner with the participants 
of the workshop


GENERAL CHAIR
Sushil Jajodia, George Mason University, USA

PC CO-CHAIRS
Sjouke Mauw, University of Luxembourg, LU
Barbara Kordy, INSA Rennes, IRISA, FR

CONTACT
For inquiries please send an e-mail to gramsec at uni.lu