CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Security and Cryptology
cover

Graphical Models for Security

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

Editors: Eades III, Harley, Gadyatskaya, Olga (Eds.)

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-030-62230-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
About this book

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.

 

Table of contents (10 chapters)

Table of contents (10 chapters)
  • Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks

    Pages 3-23

    Ibrahim, Amjad (et al.)

  • Library-Based Attack Tree Synthesis

    Pages 24-44

    Pinchinat, Sophie (et al.)

  • Asset-Centric Analysis and Visualisation of Attack Trees

    Pages 45-64

    Schmitz, Christopher (et al.)

  • An Attack Simulation Language for the IT Domain

    Pages 67-86

    Katsikeas, Sotirios (et al.)

  • Representing Decision-Makers in SGAM-H: The Smart Grid Architecture Model Extended with the Human Layer

    Pages 87-110

    Szekeres, Adam (et al.)

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-030-62230-5
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Graphical Models for Security
Book Subtitle
7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers
Editors
  • Harley Eades III
  • Olga Gadyatskaya
Series Title
Security and Cryptology
Series Volume
12419
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-62230-5
DOI
10.1007/978-3-030-62230-5
Softcover ISBN
978-3-030-62229-9
Edition Number
1
Number of Pages
XII, 199
Number of Illustrations
131 b/w illustrations, 56 illustrations in colour
Topics