Graphical Models for Security

5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

  • George Cybenko
  • David Pym
  • Barbara Fila
Conference proceedings GraMSec 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Mansoor Ahmed, Ilia Shumailov, Ross Anderson
    Pages 1-12
  3. Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux
    Pages 13-30
  4. Sabarathinam Chockalingam, Wolter Pieters, André Teixeira, Nima Khakzad, Pieter van Gelder
    Pages 31-50
  5. Marlon Dumas, Luciano García-Bañuelos, Peeter Laud
    Pages 51-70
  6. Harley Eades III, Jiaming Jiang, Aubrey Bryant
    Pages 71-89
  7. Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, Michael Goldsmith
    Pages 111-129
  8. Back Matter
    Pages 131-131

About these proceedings


This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.
The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.


artificial intelligence graphical models programming languages risk assessment computer crime computer programming security analysis security modeling

Editors and affiliations

  1. 1.Dartmouth CollegeHanover USA
  2. 2.University College LondonLondonUK
  3. 3.IRISA, INSA RennesRennesFrance

Bibliographic information

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