© 2016

Graphical Models for Security

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

  • Barbara Kordy
  • Mathias Ekstedt
  • Dong Seong Kim
Conference proceedings GraMSec 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9987)

Also part of the Security and Cryptology book sub series (LNSC, volume 9987)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Maxime Audinot, Sophie Pinchinat
    Pages 25-38
  3. Xinshu Dong, Sumeet Jauhar, William G. Temple, Binbin Chen, Zbigniew Kalbarczyk, William H. Sanders et al.
    Pages 39-61
  4. Marlon Dumas, Luciano García-Bañuelos, Peeter Laud
    Pages 62-79
  5. Olga Gadyatskaya, Carlo Harpes, Sjouke Mauw, Cédric Muller, Steve Muller
    Pages 80-93
  6. Henk Jonkers, Dick A. C. Quartel
    Pages 94-101
  7. Eric Li, Jeroen Barendse, Frederic Brodbeck, Axel Tanner
    Pages 102-118
  8. Nihal Pekergin, Sovanna Tan, Jean-Michel Fourneau
    Pages 119-133
  9. Ricardo J. Rodríguez, Xiaolin Chang, Xiaodan Li, Kishor S. Trivedi
    Pages 134-149
  10. Paul D. Rowe
    Pages 150-166
  11. Back Matter
    Pages 167-167

About these proceedings


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. 


attack tree business processes intrusion detection graph theory graphical models network security probability risk assessment security security analysis security modeling

Editors and affiliations

  • Barbara Kordy
    • 1
  • Mathias Ekstedt
    • 2
  • Dong Seong Kim
    • 3
  1. 1.INSA Rennes & IRISARennesFrance
  2. 2.KTH Royal Institute of Technology StockholmSweden
  3. 3.University of Canterbury ChristchurchNew Zealand

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment