Graphical Modeling of Security Arguments: Current State and Future Directions

Dan Ionita, Margaret Ford, Alexandr Vasenev, Roelf Johannes Wieringa

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Abstract

    Identifying threats and risks to complex systems often requires some form of brainstorming. In addition, eliciting security requirements involves making traceable decisions about which risks to mitigate and how. The complexity and dynamics of modern socio-technical systems mean that their security cannot be formally proven. Instead, some researchers have turned to modeling the claims underpinning a risk assessment and the arguments which support security decisions. As a result, several argumentation-based risk analysis and security requirements elicitation frameworks have been proposed. These draw upon existing research in decision making and requirements engineering. Some provide tools to graphically model the underlying argumentation structures, with varying degrees of granularity and formalism. In this paper, we compare these approaches, discuss their applicability and suggest avenues …
    Original languageEnglish
    Title of host publicationGraphical Models for Security
    Subtitle of host publication4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
    EditorsPeng Liu, Sjouke Mauw, Ketil Stolen
    PublisherSpringer
    Pages1 - 16
    Number of pages16
    ISBN (Electronic)978-3-319-74860-3
    ISBN (Print)978-3-319-74859-7
    Publication statusPublished - 2018
    Event4th International Workshop on Graphical Models for Security, GraMSec 2017 - University Center Corwin Pavilion, Santa Barbara, United States
    Duration: 21 Aug 201721 Aug 2017
    Conference number: 4
    https://www.gramsec.uni.lu/2017/

    Publication series

    NameLecture Notes in Computer Science
    Volume10744

    Workshop

    Workshop4th International Workshop on Graphical Models for Security, GraMSec 2017
    Abbreviated titleGraMSec
    CountryUnited States
    CitySanta Barbara
    Period21/08/1721/08/17
    Internet address

    Keywords

    • graphical modeling
    • security arguments

    Fingerprint Dive into the research topics of 'Graphical Modeling of Security Arguments: Current State and Future Directions'. Together they form a unique fingerprint.

  • Cite this

    Ionita, D., Ford, M., Vasenev, A., & Wieringa, R. J. (2018). Graphical Modeling of Security Arguments: Current State and Future Directions. In P. Liu, S. Mauw, & K. Stolen (Eds.), Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers (pp. 1 - 16). (Lecture Notes in Computer Science; Vol. 10744). Springer.