Central Library

Normal view MARC view ISBD view

Graphical Models for Security [electronic resource] : 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers / edited by Harley Eades III, Olga Gadyatskaya.

Contributor(s): Eades III, Harley [editor.] | Gadyatskaya, Olga [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Security and Cryptology: 12419Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Edition: 1st ed. 2020.Description: XII, 199 p. 187 illus., 56 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783030622305.Subject(s): Data protection | Computers -- Law and legislation | Information technology -- Law and legislation | Cryptography | Data encryption (Computer science) | Computer crimes | Application software | Data and Information Security | Legal Aspects of Computing | Cryptology | Computer Crime | Computer and Information Systems ApplicationsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.8 Online resources: Click here to access online
Contents:
Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks -- Library-based Attack Tree Synthesis -- Asset-Centric Analysis and Visualisation of Attack Trees -- An attack simulation language for the IT domain -- Representing decision-makers in SGAM-H: The Smart Grid Architecture Model Extended with the Human Layer -- Breaking the cyber kill chain by modelling resource costs -- GroDDViewer: Dynamic Dual View of Android Malware -- Attack-Defence Frameworks: Argumentation-based Semantics for Attack-Defence Trees -- A diagrammatic approach to information flow in encrypted communication -- Contextualisation of Data Flow Diagrams for security analysis.
In: Springer Nature eBookSummary: This book constitutes the proceedings of the 7th International Workshop on Graphical Models for Security, GramSec 2020, which took place on June 22, 2020. The workshop was planned to take place in Boston, MA, USA but changed to a virtual format due to the COVID-19 pandemic. The 7 full and 3 short papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers were organized in topical sections named: attack trees; attacks and risks modelling and visualization; and models for reasoning about security. .
    average rating: 0.0 (0 votes)
No physical items for this record

Causal Model Extraction from Attack Trees to Attribute Malicious Insider Attacks -- Library-based Attack Tree Synthesis -- Asset-Centric Analysis and Visualisation of Attack Trees -- An attack simulation language for the IT domain -- Representing decision-makers in SGAM-H: The Smart Grid Architecture Model Extended with the Human Layer -- Breaking the cyber kill chain by modelling resource costs -- GroDDViewer: Dynamic Dual View of Android Malware -- Attack-Defence Frameworks: Argumentation-based Semantics for Attack-Defence Trees -- A diagrammatic approach to information flow in encrypted communication -- Contextualisation of Data Flow Diagrams for security analysis.

This book constitutes the proceedings of the 7th International Workshop on Graphical Models for Security, GramSec 2020, which took place on June 22, 2020. The workshop was planned to take place in Boston, MA, USA but changed to a virtual format due to the COVID-19 pandemic. The 7 full and 3 short papers presented in this volume were carefully reviewed and selected from 14 submissions. The papers were organized in topical sections named: attack trees; attacks and risks modelling and visualization; and models for reasoning about security. .

There are no comments for this item.

Log in to your account to post a comment.