Graphical Models for Security - 7th International Workshop, GraMSec 2020, Boston, MA, USA, June 22, 2020, Revised Selected Papers

This book constitutes the proceedings of the 7^th 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.
 

List of 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.

Product details

• Assisted by: Harle Eades III (Editor), Harley Eades III (Editor), Gadyatskaya (Editor), Gadyatskaya (Editor), Olga Gadyatskaya (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 04.01.2021
• EAN: 9783030622299
• ISBN: 978-3-0-3062229-9
• No. of pages: 199
• Dimensions: 155 mm x 11 mm x 235 mm
• Illustrations: XII, 199 p. 187 illus., 56 illus. in color.
• Series: Lecture Notes in Computer Science; Security and Cryptology
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT