****************************************************************** GraMSec 2018 The Fifth International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018 http://gramsec.uni.lu/ Co-located with CSF 2018 (https://www.cs.ox.ac.uk/conferences/csf2018/) In conjunction with FLoC 2018 (http://www.floc2018.org/) ****************************************************************** ABOUT GraMSec The use of graphical security models to represent and analyse the security of systems has gained an increasing research attention over the last two decades. Formal methods and computer security researchers, as well as security professionals from the industry and government, have proposed various graphical security models, metrics, and measurements. Graphical models are used to capture different security facets and address a range of challenges including security assessment, automated defence, secure services composition, security policy validation, and verification. The objective of GraMSec is to contribute to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies and tools for their practical usage. PROGRAM of GraMSec 2018 -------------------------- 09:00 Opening by Barbara Kordy 09:10 Invited talk of Mike Fisk, Chief Information Officer at Los Alamos National Laboratory, NM, USA Intrusion Tolerance in Complex Cyber Systems 10:10 Marlon Dumas, Luciano García-Bañuelos and Peeter Laud Disclosure Analysis of SQL Workflows 10:30-11:00 Coffee Break 11:00 Haozhe Zhang, Ioannis Agrafiotis, Arnau Erola, Sadie Creese and Michael Goldsmith A state machine system for insider threat detection 11:45 Sabarathinam Chockalingam, Wolter Pieters, Andre Teixeira, Nima Khakzad and Pieter van Gelder Combining Bayesian Networks and Fishbone Diagrams to Distinguish between Intentional Attacks and Accidental Technical Failures 12:30-14:00 Lunch Break 14:00 Ilia Shumailov, Mansoor Ahmed and Ross Anderson Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins 14:45 Maxime Audinot, Sophie Pinchinat, François Schwarzentruber and Florence Wacheux Deciding the Emptiness of Attack trees 15:30-16:00 Coffee Break 16:00 Ross Horne, Sjouke Mauw and Alwen Tiu The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement 16:45 Harley Eades Iii, Jiaming Jiang and Aubrey Bryant On Linear Logic, Functional Programming, and Attack Trees 17:30 Closing by George Cybenko and David J. Pym REGISTRATION Registration to GraMSec 2018 is handled via the website of FLoC https://www.floc2018.org/register/ The early registration deadline is on June 6 If you need a support letter for a visa, please check https://www.floc2018.org/faqs/ PROGRAM COMMITTEE CO-CHAIRS George Cybenko, Dartmouth College, NH, USA David J. Pym, UCL, UK GENERAL CHAIR Barbara Kordy, INSA Rennes, IRISA, FR