Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers

Front Matter ....Pages I-XI
 Graphical Modeling of Security Arguments: Current State and Future Directions  (Dan Ionita, Margaret Ford, Alexandr Vasenev, Roel Wieringa)....Pages 1-16
 Evil Twins: Handling Repetitions in Attack–Defense Trees  (Angèle Bossuat, Barbara Kordy)....Pages 17-37
 Visualizing Cyber Security Risks with Bow-Tie Diagrams  (Karin Bernsmed, Christian Frøystad, Per Håkon Meland, Dag Atle Nesheim, Ørnulf Jan Rødseth)....Pages 38-56
 CSIRA: A Method for Analysing the Risk of Cybersecurity Incidents  (Aitor Couce-Vieira, Siv Hilde Houmb, David Ríos-Insua)....Pages 57-74
 Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata  (René Rydhof Hansen, Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen)....Pages 75-90
 Probabilistic Modeling of Insider Threat Detection Systems  (Brian Ruttenberg, Dave Blumstein, Jeff Druce, Michael Howard, Fred Reed, Leslie Wilfong et al.)....Pages 91-98
 Security Modeling for Embedded System Design  (Letitia W. Li, Florian Lugou, Ludovic Apvrille)....Pages 99-106
 Circle of Health Based Access Control for Personal Health Information Systems  (Ryan Habibi, Jens Weber, Morgan Price)....Pages 107-114
 New Directions in Attack Tree Research: Catching up with Industrial Needs  (Olga Gadyatskaya, Rolando Trujillo-Rasua)....Pages 115-126
 Employing Graphical Risk Models to Facilitate Cyber-Risk Monitoring - the WISER Approach  (Aleš Černivec, Gencer Erdogan, Alejandra Gonzalez, Atle Refsdal, Antonio Alvarez Romero)....Pages 127-146
Back Matter ....Pages 147-147