Cover Image
Read Now

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

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

Full description

Bibliographic Details
Other Authors: Cybenko, George (Editor), Pym, David (Editor), Fila, Barbara (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2019, 2019
Edition:1st ed. 2019
Series:Security and Cryptology
Subjects:
Compilers (computer Programs)
Compilers And Interpreters
Programming Techniques
Computer Programming
Artificial Intelligence
Computer Crimes
Data Protection
Information Technology / Law And Legislation
Computer Crime
Data And Information Security
Computers / Law And Legislation
Legal Aspects Of Computing
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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.

Similar Items