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

    17 Citations (Scopus)
    16 Downloads (Pure)


    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
    Number of pages2
    ISBN (Print)978-1-4577-0924-1
    Publication statusPublished - Aug 2011
    Event19th IEEE International Requirements Engineering Conference, RE 2011 - Trento, Italy
    Duration: 29 Aug 20112 Sep 2011

    Publication series

    PublisherIEEE Computer Society


    Conference19th IEEE International Requirements Engineering Conference, RE 2011


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

    Cite this