Dear users, the OCS will cease operation by the end of the year 2022. PC chairs of unfinished conferences should contact for further guidance.

Welcome to the conference service of GraMSec2020

Info Icon

This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.

Your current actions

View papers View papers

With this action an overview of the currently submitted papers is presented to you. Furthermore you can see phase specific information and your possible paper-related actions.

Contact PC Chair Contact PC Chair

With this action you can contact the PC Chair via the internal message system.

Submit paper Submit paper

This conference is in the submission phase. With this action you can submit a paper directly.

Open the overview of your actions in a new page.

Furthermore you can consult the Howtos.

Name:The Seventh International Workshop on Graphical Models for Security
Description: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.
PC Chairs:Harley Eades III
Olga Gadyatskaya
Conference flow:Abstract Submission: August 4, 2020 23:59 CEST,
Paper Upload: August 4, 2020 23:59 CEST,
Assignment of Reviewers: August 4, 2020 23:59 CEST,
Review: September 18, 2020 23:59 CEST,
Decision: September 21, 2020 23:59 CEST,
Final: September 29, 2020 23:59 CEST

  • View papers

    View papers

  • Contact PC Chair

    Contact PC Chair

  • Submit abstract

    Submit abstract