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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cybenko, George (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pym, David (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Fila, Barbara (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Σειρά: Security and Cryptology ; 11086
• Θέματα: Computer security.; Artificial intelligence.; Computer crimes.; Computer programming.; Programming languages (Electronic computers).; Computers.; Law and legislation.; Systems and Data Security.; Artificial Intelligence.; Computer Crime.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Legal Aspects of Computing.

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

Πίνακας περιεχομένων:

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