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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
