Graphical Models for Security

5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

George Cybenko, David Pym, Barbara Fila (Herausgeber)

Buch | Softcover

XI, 131 Seiten

2019
Springer International Publishing (Verlag)
978-3-030-15464-6 (ISBN)

Artikel merken

This book constitutes revised selected papers from the 5th International Workshop on Graphical Models for Security, GraMSec 2018, held in Oxford, UK, in July 2018.
The 7 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The book also contains one invited talk. The contributions deal with the latest research and developments on graphical models for security.

Tendrils of Crime: Visualizing the Diffusion of Stolen Bitcoins.- Deciding the Non-Emptiness of Attack trees.- Combining Bayesian Networks and Fishbone Diagrams to Distinguish Between Intentional Attacks and Accidental Technical Failures.- Disclosure Analysis of SQL Workflows.- On Linear Logic, Functional Programming, and Attack Trees.- The Attacker Does Not Always Hold the Initiative: Attack Trees with External Refinement.- A State Machine System for Insider Threat Detection.

Erscheinungsdatum	03.04.2019
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Security and Cryptology
Zusatzinfo	XI, 131 p. 56 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	231 g
Themenwelt	Informatik ► Netzwerke ► Sicherheit / Firewall
Schlagworte	Artificial Intelligence • authentication • computer crime • computer programming • Graphical Models • Programming Languages • risk assessment • security analysis • security modeling
ISBN-10	3-030-15464-5 / 3030154645
ISBN-13	978-3-030-15464-6 / 9783030154646
Zustand	Neuware