Security and Cryptology

Graphical Models for Security

4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Editors: Liu, Peng, Mauw, Sjouke, Stolen, Ketil (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-319-74860-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $60.00
price for USA in USD
  • ISBN 978-3-319-74859-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017. The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest research and developments on graphical models for security.

Table of contents (10 chapters)

Table of contents (10 chapters)
  • Graphical Modeling of Security Arguments: Current State and Future Directions

    Pages 1-16

    Ionita, Dan (et al.)

  • Evil Twins: Handling Repetitions in Attack–Defense Trees

    Pages 17-37

    Bossuat, Angèle (et al.)

  • Visualizing Cyber Security Risks with Bow-Tie Diagrams

    Pages 38-56

    Bernsmed, Karin (et al.)

  • CSIRA: A Method for Analysing the Risk of Cybersecurity Incidents

    Pages 57-74

    Couce-Vieira, Aitor (et al.)

  • Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata

    Pages 75-90

    Hansen, René Rydhof (et al.)

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-319-74860-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $60.00
price for USA in USD
  • ISBN 978-3-319-74859-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Graphical Models for Security
Book Subtitle
4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
Editors
  • Peng Liu
  • Sjouke Mauw
  • Ketil Stolen
Series Title
Security and Cryptology
Series Volume
10744
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-74860-3
DOI
10.1007/978-3-319-74860-3
Softcover ISBN
978-3-319-74859-7
Edition Number
1
Number of Pages
XI, 147
Number of Illustrations
48 b/w illustrations
Topics