GraMSec 2014

The First International Workshop on
Graphical Models for Security

April 12, 2014, Grenoble, France

Co-located with ETAPS 2014

Welcome to Graphical Models for Security Workshop


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.


The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of graphical models for security. The topics of the workshop include, but are not limited to:

  • attack trees, attack graphs, Petri nets for security, Bayesian networks for security, UML-based models for security,
  • security in system models, organizational models, business models, and methods for (semi-)automatic derivation of attack models from these,
  • methods for quantitative analysis of graphical security models,
  • analysis of digital, physical and social (socio-technical) security aspects using graphical models,
  • risk assessment and risk management using graphical security models,
  • software tools supporting security analysis using graphical models,
  • case studies and experience reports on the use of graphical methodologies for analysis and evaluation of security of systems.


  • Submission deadline: December 13, 2013 (extended)
  • Acceptance notification: January 24, 2014
  • Camera ready version for pre-proceedings: February 6, 2014
  • Camera ready version for EPTCS proceedings: March 10, 2014
  • Workshop: April 12, 2014


Dr. Ketil Stølen, Chief Scientist at SINTEF and Professor at the University of Oslo, Norway


Sjouke Mauw, University of Luxembourg, LU


Barbara Kordy, University of Luxembourg, LU

Wolter Pieters, Delft University of Technology and University of Twente, NL


For inquiries please send an e-mail to

logo UL    logo UT logo TUD logo TREsPASS