Advertisement

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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-15465-3
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-15464-6
  • Online ISBN 978-3-030-15465-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering