Skip to main content
  • Conference proceedings
  • © 2019

Graphical Models for Security

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

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

Part of the book sub series: Security and Cryptology (LNSC)

Conference series link(s): GraMSec: International Workshop on Graphical Models for Security

Conference proceedings info: GraMSec 2018.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (7 papers)

  1. Front Matter

    Pages I-XI
  2. Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins

    • Mansoor Ahmed, Ilia Shumailov, Ross Anderson
    Pages 1-12
  3. Deciding the Non-emptiness of Attack Trees

    • Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux
    Pages 13-30
  4. Combining Bayesian Networks and Fishbone Diagrams to Distinguish Between Intentional Attacks and Accidental Technical Failures

    • Sabarathinam Chockalingam, Wolter Pieters, André Teixeira, Nima Khakzad, Pieter van Gelder
    Pages 31-50
  5. Disclosure Analysis of SQL Workflows

    • Marlon Dumas, Luciano García-Bañuelos, Peeter Laud
    Pages 51-70
  6. On Linear Logic, Functional Programming, and Attack Trees

    • Harley Eades III, Jiaming Jiang, Aubrey Bryant
    Pages 71-89
  7. A State Machine System for Insider Threat Detection

    • Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, Michael Goldsmith
    Pages 111-129
  8. Back Matter

    Pages 131-131

Other Volumes

  1. Graphical Models for Security

About this book

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.

Editors and Affiliations

  • Dartmouth College, Hanover , USA

    George Cybenko

  • University College London, London, UK

    David Pym

  • IRISA, INSA Rennes, Rennes, France

    Barbara Fila

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access