OpenArgue: Supporting Argumentation to Evolve Secure Software Systems

Yijun Yu, Thein Tan Tun, Alessandra Tedeschi, V. Nunes Leal Franqueira, Bashar Nuseibeh

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

    15 Citations (Scopus)
    14 Downloads (Pure)

    Abstract

    When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software systems demonstrates that our argumentation technique is useful in limiting the scope of change and in identifying changes to security properties. In support of this work, we have developed OpenArgue, a tool for syntax checking, visualizing, formalizing, and reasoning about incremental arguments. OpenArgue has been integrated with requirements engineering tools for Problem Frames and i*, and applied to an Air Traffic Management (ATM) case study.
    Original languageUndefined
    Title of host publication19th IEEE International Requirements Engineering Conference, RE 2011
    Place of PublicationUSA
    PublisherIEEE Computer Society
    Pages351-352
    Number of pages2
    ISBN (Print)978-1-4577-0924-1
    DOIs
    Publication statusPublished - Aug 2011
    Event19th IEEE International Requirements Engineering Conference, RE 2011 - Trento, Italy
    Duration: 29 Aug 20112 Sep 2011

    Publication series

    Name
    PublisherIEEE Computer Society

    Conference

    Conference19th IEEE International Requirements Engineering Conference, RE 2011
    CountryItaly
    CityTrento
    Period29/08/112/09/11

    Keywords

    • METIS-279112
    • EWI-18273
    • IR-77606

    Cite this

    Yu, Y., Tun, T. T., Tedeschi, A., Nunes Leal Franqueira, V., & Nuseibeh, B. (2011). OpenArgue: Supporting Argumentation to Evolve Secure Software Systems. In 19th IEEE International Requirements Engineering Conference, RE 2011 (pp. 351-352). USA: IEEE Computer Society. https://doi.org/10.1109/RE.2011.6051671