Call For Papers

GraMSec 2015
The Second International Workshop on Graphical Models for Security
July 13, 2015, Verona, Italy
http://gramsec.uni.lu/
Co-located with CSF 2015
=================================

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.

SUBMISSION INSTRUCTIONS
We solicit two types of submissions:
- Regular papers (up to 15 pages) describing original and unpublished
work within the scope of the workshop.
- Tool papers (up to 5 pages) describing software supporting graphical
security modeling, analysis, and evaluation. Tool papers will be
presented during a special tool session.

All submissions must be prepared using the LNCS style.

Each paper will undergo a thorough review process. All accepted
(regular and tool) papers will be included in the final proceedings,
which we plan to publish as a Springer LNCS volume (pending
confirmation). Submissions should be made using the GraMSec'15
EasyChair web site.