Graphical models for security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised selected papers /: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised selected papers. (2019)

• Record Type: Book
• Other Titles: GraMSec 2018
• Further Information: Note: George Cybenko, David Pym, Barbara Fila (eds.).
• Editors: Cybenko, George; Pym, David J; (Computer scientist), Fila, Barbara
• Other Names: GraMSec (Workshop), 5th
• 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (xi, 131 pages), illustrations
• Subjects: 005.8; Computer security -- Graphic methods -- Congresses; Computer networks -- Security measures -- Congresses; Electronic books
• Languages: English
• ISBNs: 9783030154653; 3030154653
• Related ISBNs: 9783030154646
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed April 4, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.