Security and Cryptology

Graphical Models for Security

Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers

Editors: Kordy, Barbara, Ekstedt, Mathias, Kim, Dong Seong (Eds.)

Free Preview

Buy this book

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

This book constitutes the refereed proceedings from the Third International Workshop on Graphical Models for Security, GraMSec 2016, held in Lisbon, Portugal, in June 2016.
The 9 papers presented in this volume were carefully reviewed and selected from 23 submissions. The volume also contains the invited talk by Xinming Ou. GraMSec contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. 

Table of contents (10 chapters)

Table of contents (10 chapters)
  • A Bottom-Up Approach to Applying Graphical Models in Security Analysis

    Ou, Xinming

    Pages 1-24

  • On the Soundness of Attack Trees

    Audinot, Maxime (et al.)

    Pages 25-38

  • The Right Tool for the Job: A Case for Common Input Scenarios for Security Assessment

    Dong, Xinshu (et al.)

    Pages 39-61

  • Differential Privacy Analysis of Data Processing Workflows

    Dumas, Marlon (et al.)

    Pages 62-79

  • Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees

    Gadyatskaya, Olga (et al.)

    Pages 80-93

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-319-46263-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-319-46262-2
  • 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
Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers
Editors
  • Barbara Kordy
  • Mathias Ekstedt
  • Dong Seong Kim
Series Title
Security and Cryptology
Series Volume
9987
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-46263-9
DOI
10.1007/978-3-319-46263-9
Softcover ISBN
978-3-319-46262-2
Edition Number
1
Number of Pages
IX, 167
Number of Illustrations
62 b/w illustrations
Topics