Graphical Models for Security

Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers
1. Auflage 2016
ISBN: 978-3-319-46262-2
Verlag: Springer International Publishing

Buch, Englisch, 167 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 2818 g

Reihe: Security and Cryptology

This book constitutes the refereed proceedings from the Third International Workshop on Graphical Models for Security, GraMSec 2016, held in Lisbon, Portugal, in June 2016.
The 9 papers presented in this volume were carefully reviewed and selected from 23 submissions. The volume also contains the invited talk by Xinming Ou. GraMSec contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. 

Zielgruppe

Research

Autoren/Hrsg.

Kordy, Barbara

Kim, Dong Seong

Ekstedt, Mathias

Fachgebiete

• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Netzwerksicherheit
• Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit

Inhaltsverzeichnis

A Bottom-up Approach to Applying Graphical Models in Security Analysis.- On the Soundness of Attack Trees.- The Right Tool for the Job: a Case for Common Input Scenarios for Security Assessment.- Differential Privacy Analysis of Data Processing Workflows.- Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees.- Enterprise Architecture-Based Risk and Security Modelling and Analysis.- From A to Z: Developing a Visual Vocabulary for Information Security Threat Visualisation.- Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis.- Survivability Analysis of a Computer System under an Advanced Persistent Threat Attack.- Confining Adversary Actions via Measurement.