Categories |
SECURITY
FORMAL METHODS
VISUALIZATION
COMPUTER SCIENCE
|
About |
|
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. |
Call for Papers |
|
This year, we are particularly keen to encourage excellent submissions related, but not restricted, to the following broad headings:
|
Summary |
|
GraMSec 2020 : The 7th International Workshop on Graphical Models for Security will take place in Online. It’s a 1 day event starting on Jun 22, 2020 (Monday) and will be winded up on Jun 22, 2020 (Monday). GraMSec 2020 falls under the following areas: SECURITY, FORMAL METHODS, VISUALIZATION, COMPUTER SCIENCE, etc. Submissions for this Workshop can be made by Apr 24, 2020. Authors can expect the result of submission by May 29, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Aug 07, 2020 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the GraMSec 2020
|
Credits and Sources |
| [1] GraMSec 2020 : The 7th International Workshop on Graphical Models for Security |
