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/
*
**********************************************************
Posts
