Welcome to Graphical Models for Security Workshop

SCOPE

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.

TOPICS

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.

IMPORTANT DATES

• 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

INVITED SPEAKER

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

GENERAL CHAIR

Sjouke Mauw, University of Luxembourg, LU

PC CO-CHAIRS

Barbara Kordy, University of Luxembourg, LU

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

CONTACT

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