GraMSec 2014

The First International Workshop on Graphical Models for Security

April 12, 2014, Grenoble, France

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: