Graphical Models for Security | 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers | ISBN 9783030622305

Graphical Models for Security

7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers

herausgegeben von Harley Eades III und Olga Gadyatskaya
Mitwirkende
Herausgegeben vonHarley Eades III
Herausgegeben vonOlga Gadyatskaya
Buchcover Graphical Models for Security  | EAN 9783030622305 | ISBN 3-030-62230-4 | ISBN 978-3-030-62230-5

Graphical Models for Security

7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers

herausgegeben von Harley Eades III und Olga Gadyatskaya
Mitwirkende
Herausgegeben vonHarley Eades III
Herausgegeben vonOlga Gadyatskaya

This book constitutes the proceedings of the 7th International Workshop on Graphical Models for Security, GramSec 2020, which took place on June 22, 2020. The workshop was planned to take place in Boston, MA, USA but changed to a virtual format due to the COVID-19 pandemic.

The 7 full and 3 short papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers were organized in topical sections named: attack trees; attacks and risks modelling and visualization; and models for reasoning about security.