Graphical Models for Security

7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers

Häftad, Engelska, 2020

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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 7 full and 3 short papers presented in this volume were carefully reviewed and selected from 14 submissions.

Produktinformation

Utgivningsdatum2020-11-08
Mått155 x 235 x 12 mm
Vikt330 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor199
FörlagSpringer Nature Switzerland AG
ISBN9783030622299

Tillhör följande kategorier

Tillämpad datateknik inom Data och it
Informationsteknik: allmänt inom Data och it
Nätverk och kommunikation inom Data och it
Referensverk och tvärvetenskap inom Samhalle och politik
IT-säkerhet inom Data och it

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.