posted by organizer: gadyatskaya || 5097 views || tracked by 3 users: [display]

GraMSec 2020 : The 7th International Workshop on Graphical Models for Security

FacebookTwitterLinkedInGoogle

Link: https://www.gramsec.uni.lu/
 
When Jun 22, 2020 - Jun 22, 2020
Where Online
Submission Deadline Apr 24, 2020
Notification Due May 29, 2020
Categories    security   formal methods   visualisation   computer science
 

Call For Papers

GraMSec 2020: The Seventh International Workshop on Graphical Models for Security
http://gramsec.uni.lu

June 22, 2020 *Online event*
Co-located with CSF 2020

*LNCS post-proceedings confirmed*

SCOPE

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 International Workshop on Graphical Models for Security
is an established scientific event dedicated to study and exchange
of experiences on graphical security and safety modelling.


TOPICS

This year, we encourage excellent submissions related, but not
restricted, to the following broad headings:
1. Graph representations: mathematical, conceptual, and implemented
tools for describing and reasoning about security and safety
2. Logical approaches: formal logical tools for representing and
reasoning about graphs and their use as modelling tools in security
3. Machine learning: modelling and reasoning about the role of big data
and machine learning in security operations
4. Networks in national security: terrorist networks, counter-terrorism
networks; safety in national infrastructure (e.g., utilities and
transportation)
5. Risk analysis and management: models and graphical methodologies for
security and privacy risk management in business and organisational
architectures
6. Social networks: using and reasoning about social graphs, network
analysis, network protocols, social mapping, sociometry.
7. Semantics: developing or studying semantic approaches to graph-based
models used in security like set theoretic models, categorical models,
logical models, etc.
8. Threat modelling: modelling and analysing software systems security,
models for DevSecOps, etc.
9. Security requirements: models and tools for describing and analysing
requirements on system security and privacy.
10. Visual security: modelling and analytics for security visualisations.
11. Secure systems: safe and secure system design, quantification of
security/safety, models for system security/safety evaluation.

We welcome a broad range of contributions: from theory to tools and
experience reports. Preference will be given to papers likely to
stimulate high-quality debate at the Workshop.

SUBMISSION GUIDELINES

We solicit two types of submissions:
- Regular papers (up to 18 pages, excluding the bibliography and
well-marked appendices) describing original and unpublished work within
the scope of the workshop.
- Short papers (up to 10 pages, excluding the bibliography and
well-marked appendices) describing original and unpublished work in
progress.

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 2020 EasyChair website:
https://easychair.org/conferences/?conf=gramsec2020.

PUBLICATION

As in previous editions, we the post-proceedings will be published
in the Lecture Notes in Computer Science (LNCS) series,
published by Springer. Proceedings will be published after the
workshop, thus permitting the authors to incorporate feedback.

VENUE

Due to the current coronavirus outbreak, the IEEE CSF Symposium
and its associated workshops, including GraMSec, will be held
online this year. Details about registration and participation will
be soon made available.

IMPORTANT DATES

Given the situation and the fact that the workshop will be held online,
we will keep only one submission deadline.

- Paper submissions due: Monday, May 4, 2020
- Notifications: Friday, May 29, 2020

- Workshop: Monday, June 22, 2020
- Camera ready versions due: Friday, August 7, 2020

PROGRAM CHAIRS

Harley Eades III, Augusta University, United States of America
Olga Gadyatskaya, Leiden Institute of Advanced Computer Science,
Leiden University, The Netherlands

STEERING COMMITTEE

Sushil Jajodia, George Mason University, United States of America
Barbara Fila, INSA Rennes and IRISA, France
Sjouke Mauw, University of Luxembourg, Luxembourg
Christian W. Probst, Unitec, New Zealand
Ketil Stølen, SINTEF Digital and University of Oslo, Norway

PUBLICITY CHAIR

Barbara Fila, INSA Rennes and IRISA, France

WEB CHAIR

Reynaldo Gil Pons, University of Luxembourg, Luxembourg

Related Resources

Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
CEVVE 2024   2024 2nd International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2024)
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
FLLM 2024   The 2nd International Conference on Foundation and Large Language Models
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
S&P 2025   The 45th IEEE Symposium on Security and Privacy
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex