Graphical Models for Security

Graphical Models for Security

4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Liu, Peng; Stolen, Ketil; Mauw, Sjouke

Springer International Publishing AG

02/2018

147

Mole

Inglês

9783319748597

15 a 20 dias

454

Descrição não disponível.
Graphical modeling of Security Arguments: Current State and Future Directions.- Evil Twins: Handling Repetitions in Attack - Defense Trees - A Survival Guide.- Visualizing Cyber Security Risks with Bow-Tie Diagrams.- CSIRA: A method for analysing the risk of cybersecurity incidents.- Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata.- Probabilistic Modeling of Insider Threat Detection Systems.- Security Modeling for Embedded System Design.- Circle of Health Based Access Control for Personal Health Information Systems.- New Directions in Attack Tree Research: Catching up with Industrial Needs.- Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach.
artificial intelligence;authentication;computer crime;computer science;cyber-attacks;embedded systems;programming languages;security analysis;security requirements;semantics;software engineering