Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Description

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. Front Matter ....Pages I-XI Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins (Mansoor Ahmed, Ilia Shumailov, Ross Anderson)....Pages 1-12 Deciding the Non-emptiness of Attack Trees (Maxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux)....Pages 13-30 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 Disclosure Analysis of SQL Workflows (Marlon Dumas, Luciano García-Bañuelos, Peeter Laud)....Pages 51-70 On Linear Logic, Functional Programming, and Attack Trees (Harley Eades III, Jiaming Jiang, Aubrey Bryant)....Pages 71-89 The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement (Ross Horne, Sjouke Mauw, Alwen Tiu)....Pages 90-110 A State Machine System for Insider Threat Detection (Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, Michael Goldsmith)....Pages 111-129 Back Matter ....Pages 131-131