Graphical Models for Security

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

AvHarley Eades III,Olga Gadyatskaya

Häftad, Engelska, 2020

Del 12419 i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2020-11-08
Mått:155 x 235 x 12 mm
Vikt:330 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:199
Förlag:Springer Nature Switzerland AG
ISBN:9783030622299

Utforska kategorier

Innehållsförteckning

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.

Du kanske också är intresserad av

Del 12809

Applied Cryptography and Network Security Workshops

Jianying Zhou, Chuadhry Mujeeb Ahmed, Lejla Batina, Sudipta Chattopadhyay, Olga Gadyatskaya, Chenglu Jin, Jingqiang Lin, Eleonora Losiouk, Bo Luo, Suryadipta Majumdar, Mihalis Maniatakos, Daisuke Mashima, Weizhi Meng, Stjepan Picek, Masaki Shimaoka, Chunhua Su, Cong Wang