Thursday, June 25, 2015

[DMANET] GraMSec'15 CALL FOR PARTICIPATION

************************************************************
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@uni.lu
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************