Skip to main content
SpringerLink
Log in

Graphical Models for Security

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Peng Liu

    1. Pennsylvania State University, University Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sjouke Mauw

    1. University of Luxembourg, Esch-sur-Alzette, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ketil Stolen

    1. Blindern, SINTEF ICT, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10744)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: GraMSec 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 60.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Graphical Modeling of Security Arguments: Current State and Future Directions

    • Dan Ionita, Margaret Ford, Alexandr Vasenev, Roel Wieringa
    Pages 1-16

  3. Evil Twins: Handling Repetitions in Attack–Defense Trees

    • Angèle Bossuat, Barbara Kordy
    Pages 17-37

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

  5. CSIRA: A Method for Analysing the Risk of Cybersecurity Incidents

    • Aitor Couce-Vieira, Siv Hilde Houmb, David Ríos-Insua
    Pages 57-74

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

  7. Probabilistic Modeling of Insider Threat Detection Systems

    • Brian Ruttenberg, Dave Blumstein, Jeff Druce, Michael Howard, Fred Reed, Leslie Wilfong et al.
    Pages 91-98

  8. Security Modeling for Embedded System Design

    • Letitia W. Li, Florian Lugou, Ludovic Apvrille
    Pages 99-106

  9. Circle of Health Based Access Control for Personal Health Information Systems

    • Ryan Habibi, Jens Weber, Morgan Price
    Pages 107-114

  10. New Directions in Attack Tree Research: Catching up with Industrial Needs

    • Olga Gadyatskaya, Rolando Trujillo-Rasua
    Pages 115-126

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

  12. Back Matter

    Pages 147-147
    Download chapter PDF
Back to top

Other volumes

  1. Graphical Models for Security

Keywords

About this book

This book constitutes revised selected papers from the 4th International Workshop on Graphical Models for Security, GraMSec 2017, held in Santa Barbara, CA, USA, in August 2017. The 5 full and 4 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited paper from the WISER project. The contributions deal with the latest research and developments on graphical models for security.

Editors and Affiliations

  • Pennsylvania State University, University Park, USA

    Peng Liu

  • University of Luxembourg, Esch-sur-Alzette, Luxembourg

    Sjouke Mauw

  • Blindern, SINTEF ICT, Oslo, Norway

    Ketil Stolen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation