دانلود کتاب Graphical Models for Security 7th International Workshop GraMSec 2020

The 7th International Workshop on Graphical Models for Security (GraMSec 2020)
was held virtually on June 22, 2020, colocated with the Computer Security
Foundations Symposium (CSF 2020).
Since its establishment in 2014, GraMSec seeks to bring together academic
researchers and practitioners from industry and government to discuss the latest
challenges and insights in graphical models applied in the security domain. It enjoys a
large community of security professionals passionate about designing and applying
graphical models and visualizations for capturing security of systems. Such graphical
models and visualizations are often very versatile, being able to represent a multitude of
security facets and to support security experts in tasks like formal socio-technical
security modeling or automated security assessment.
These post-proceedings contain revised versions of the 7 full technical papers and 3
short papers, which were selected from 14 submissions. In addition to the presentations
of these papers, Mariëlle Stoelinga from University of Twente and Radboud
University, The Netherlands, gave a keynote talk titled “Safety Versus Security: Why
Have They Not Married Yet?” This talk, which focused on similarities and discrep-
ancies between security and safety models and approaches, showed the GraMSec
audience several inspiring research directions.