GraMSec 2016

The Third International Workshop on Graphical Models for Security

Lisbon, Portugal - June 27, 2016

SCOPE

Graphical security models provide an intuitive but systematic methodology to
analyze security weaknesses of systems and to evaluate potential protection
measures. Formal methods and computer security researchers, as well as
security professionals from industry and government, have proposed various
graphical security modeling schemes. Such models are used to capture different
security facets (digital, physical, and social)
and address a range of challenges including security assessment,
risk analysis, automated defensing, secure services composition, policy validation
and verification. 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:

Graphical models for threat modeling and analysis

Graphical models for risk analysis and management

Graphical models for requirements analysis and management

Textual and graphical representation for system, organizational, and business security

Visual security modeling and analysis of socio-technical and cyber-physical systems

Graphical security modeling for cyber situational awareness

Graphical models supporting the security by design paradigm

Methods for quantitative and qualitative analysis of graphical security models