5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers - researchr publication

researchr

You are not signed in
Sign in
Sign up

George Cybenko, David J. Pym, Barbara Fila, editors, 5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers. Volume 11086 of Lecture Notes in Computer Science, Springer, 2019. [doi]

Conference: gramsec2019

Abstract is missing.

Tendrils of Crime: Visualizing the Diffusion of Stolen BitcoinsMansoor Ahmed, Ilia Shumailov, Ross Anderson. 1-12 [doi]

Deciding the Non-emptiness of Attack TreesMaxime Audinot, Sophie Pinchinat, François Schwarzentruber, Florence Wacheux. 13-30 [doi]

Combining Bayesian Networks and Fishbone Diagrams to Distinguish Between Intentional Attacks and Accidental Technical FailuresSabarathinam Chockalingam, Wolter Pieters, André Teixeira, Nima Khakzad, Pieter van Gelder. 31-50 [doi]

Disclosure Analysis of SQL WorkflowsMarlon Dumas, Luciano García-Bañuelos, Peeter Laud. 51-70 [doi]

On Linear Logic, Functional Programming, and Attack TreesHarley Eades III, Jiaming Jiang, Aubrey Bryant. 71-89 [doi]

The Attacker Does not Always Hold the Initiative: Attack Trees with External RefinementRoss Horne, Sjouke Mauw, Alwen Tiu. 90-110 [doi]

A State Machine System for Insider Threat DetectionHaozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese, Michael Goldsmith. 111-129 [doi]

runs on WebDSL