resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



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

Online
Event Date: Jun 22, 2020 - Jun 22, 2020
Submission Deadline: Apr 24, 2020
Notification of Acceptance: May 29, 2020
Camera Ready Version Due : Aug 07, 2020

About

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.

Call For Paper

This year, we are particularly keen to encourage excellent submissions related, but not restricted, to the following broad headings:

  • Graph representations: mathematical, conceptual, and implemented tools for describing and reasoning about security and safety
  • Logical approaches: formal logical tools for representing and reasoning about graphs and their use as modelling tools in security
  • Machine learning: modelling and reasoning about the role of big data and machine learning in security operations
  • Networks in national security: terrorist networks, counter-terrorism networks; safety in national infrastructure (e.g., utilities and transportation)
  • Risk analysis and management: models and graphical methodologies for security and privacy risk management in business and organizational architectures
  • Social networks: using and reasoning about social graphs, network analysis, network protocols, social mapping, sociometry.
  • Semantics: developing or studying semantic approaches to graph-based models used in security like set theoretic models, categorical models, logical models, etc.
  • Threat modelling: modelling and analyzing software systems security, models for DevSecOps, etc.
  • Security requirements: models and tools for describing and analyzing requirements on system security and privacy.
  • Visual security: modelling and analytics for security visualizations.
  • Secure systems: safe and secure system design, quantification of security/safety, models for system security/safety evaluation.

Hotel Deals

Booking.com

Check Other Conferences, Workshops, and Seminars

OTHER SECURITY EVENTS

CNSA 2021 : 14th International Conference on Network Security & Applications
Zurich, Switzerland
Jan 23, 2021
IEEE CSR 2021 : 2021 IEEE International Conference on Cyber Security and Resilience
Rhodes, Greece
Jul 26, 2021
ACM ASSS 2021 : The ACM 1st International Symposium on Advanced Security on Software and Systems
Hong Kong, China
Jun 08, 2021
KES 2021 : 25th International Conference on Knowledge Based and Intelligent information and Engineering Systems
Szczecin, Poland & Virtual
Sep 08, 2021
SECRYPT 2021 : 18th International Conference on Security and Cryptography
Lieusaint - Paris, France
Jul 06, 2021

OTHER FORMAL METHODS EVENTS

FormaliSE 2021 : International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
F-IDE 2021 : 6th Workshop on Formal Integrated Development Environment
Online
May 24, 2021
ABZ 2021 : 8th International Conference on Rigorous State Based Methods
Ulm
Jun 07, 2021
ESOP 2021 : 30th European Symposium on Programming
Luxembourg
Mar 27, 2021
FMAS 2020 : Second Workshop on Formal Methods for Autonomous Systems
Online
Dec 07, 2020

OTHER VISUALIZATION EVENTS

PEASH 2020 : 7th Workshop on Performance Engineering with Advances in Software and Hardware for Big Data Sciences
Virtual
Dec 10, 2020
TVCG 2021 : Call for VIS/VR/CG Surveys

PacificVis 2021 : IEEE Pacific Visualization Symposium
Tianjin, China
Apr 19, 2021
CVCM 2020 : International Conference on Visual Computing and Multimedia
Xiamen, China
Oct 27, 2020
VMV 2020 : 25th International Symposium on Vision, Modeling, and Visualization
Tübingen, Germany
Sep 28, 2020

OTHER COMPUTER SCIENCE EVENTS

CNSA 2021 : 14th International Conference on Network Security & Applications
Zurich, Switzerland
Jan 23, 2021
CMSB 2021 : 19th International Conference on Computational Methods in Systems Biology
Bordeaux, France
Sep 22, 2021
NATL 2020 : 6th International Conference on Natural Language Computing
Sydney, Australia
Dec 18, 2020
FlexNGIA 2021 : 1st IFIP/IEEE International workshop on Fully-Flexible Internet Architectures and Protocols for the Next-Generation Internet
Bordeaux, France
May 17, 2021
KES 2021 : 25th International Conference on Knowledge Based and Intelligent information and Engineering Systems
Szczecin, Poland & Virtual
Sep 08, 2021