February 28, 2019
GraMSec 2019: The Sixth International Workshop on Graphical Models for Security Hoboken, NJ, USA - June 24, 2019
Co-located with CSF 2019 *Submissions received by April 5 receive priority consideration*
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. For example, attack graphs, attack trees, attack-defence trees, and attack countermeasure trees represent possible ways of attacking and defending a system while misuse cases and mal-activity diagrams capture threats and abusive behaviour of users. http://gramsec.uni.lu
This year, we encourage excellent submissions related, but not restricted, to the following broad headings:
Preference will be given to papers likely to stimulate high-quality debate at the Workshop.
We solicit two types of submissions:
The reviewers are not required to read the appendices, so the papers should be intelligible without them. All submissions must be prepared using the LNCS style. Each paper will undergo a thorough review process.
Submissions should be made using the GraMSec 2019 EasyChair website: https://easychair.org/conferences/?conf=gramsec2019.
As in previous editions, post-proceedings will been made available in the Lecture Notes in Computer Science (LNCS) series, published by Springer. This will published after the workshop, thus permiting the authors to incorporate feedback.
IMPORTANT DATES (NOTE THE TWO SUBMISSION DEADLINES)
Early submissions (priority in program, and early notification)
Late submissions (after CSF notification)
George Cybenko, Dartmouth College
Massimiliano Albanese, George Mason University, VA, USA Ross Horne, University of Luxembourg, Luxembourg
Christian W. Probst, Unitec, New Zealand
Sushil Jajodia, George Mason University, USA Barbara Kordy, INSA Rennes, IRISA, FR Sjouke Mauw, University of Luxembourg, Luxembourg Christian W. Probst, Unitec, New Zealand Ketil Stølen, SINTEF Digital and University of Oslo, Norway
Ludovic Apvrille, Telecom ParisTech, France Zaruhi Aslanyan, Alexandra Institute, Denmark Stefano Bistarelli, Università di Perugia, Italy Hasan Cam, U.S. Army Research Laboratory, PA, USA Nora Cuppens-Boulahia, IMT Atlantique, France Harley Eades III, Augusta University, GA, USA Olga Gadyatskaya, SnT, University of Luxembourg, Luxembourg René Rydhof Hansen, Aalborg University, Denmark Jin B. Hong, University of Western Australia, Australia DongSeong Kim, The University of Queensland, New Zealand Barbara Kordy, INSA Rennes, IRISA, France Sjouke Mauw, University of Luxembourg, Luxembourg Per Håkon Meland, SINTEF ICT, Norway Guozhu Meng, Chinese Academy of Sciences, Beijing, China Guy McCusker, University of Bath, United Kingdom Vivek Nigam, fortiss GmbH, Germany Andreas Lothe Opdahl, University of Bergen, Norway Noseong Park, George Mason University, VA, USA Stéphane Paul, Thales Research and Technology, France Sophie Pinchinat, INSA Rennes, France Sasa Radomirovic, University of Dundee, United Kingdom Rolando Trujillo Rasúa, Deakin University, Australia Paul Rowe, The MITRE Corporation, MA, USA Giedre Sabaliauskaite, Singapore University of Technology and Design, Singapore Ketil Stølen, SINTEF, Norway Sridhar Venkatesan, Vencore Labs, VA, USA