Graphical Models for Security: 7th International Workshop, Gramsec 2020, Boston, Ma, Usa, June 22, 2020, Revised Selected Papers

ISBN-13: 9783030622299 / Angielski / Miękka / 2020 / 199 str.

Harley Eades III; Olga Gadyatskaya

Spis treści

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.