April 2, 2020
The Seventh International Workshop on Graphical Models for Security June 22, 2020 *Online event* Co-located with CSF 2020 *LNCS post-proceedings confirmed*
The use of graphical security models to represent and analyse the security of systems has gained an increasing research attention over the last two decades. Formal methods and computer security researchers, as well as security professionals from the industry and government, have proposed various graphical security models, metrics, and measurements. Graphical models are used to capture different security facets and address a range of challenges including security assessment, automated defence, secure services composition, security policy validation, and verification. The International Workshop on Graphical Models for Security is an established scientific event dedicated to study and exchange of experiences on graphical security and safety modelling.
This year, we encourage excellent submissions related, but not restricted, to the following broad headings:
We welcome a broad range of contributions: from theory to tools and experience reports. Preference will be given to papers likely to stimulate high-quality debate at the Workshop.
We solicit two types of submissions:
- Regular papers (up to 18 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work within the scope of the workshop.
- Short papers (up to 10 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work in progress.
The reviewers are not required to read the appendices, so the papers should be intelligible without them. All submissions must be prepared using the LNCS style. Each paper will undergo a thorough review process. Submissions should be made using the GraMSec 2020 EasyChair website:
As in previous editions, we the post-proceedings will be published in the Lecture Notes in Computer Science (LNCS) series, published by Springer. Proceedings will be published after the workshop, thus permitting the authors to incorporate feedback.
Due to the current coronavirus outbreak, the IEEE CSF Symposium and its associated workshops, including GraMSec, will be held online this year. Details about registration and participation will be soon made available.
Given the situation and the fact that the workshop will be held online, we will keep only one submission deadline.
- Paper submissions due: Friday, April 24, 2020
- Notifications: Friday, May 29, 2020
- Workshop: Monday, June 22, 2020
- Camera ready versions due: Friday, August 7, 2020