Skip to main content

OpenArgue: Supporting Argumentation to Evolve Secure Software Systems

Yu, Yijun and Tun, Thein Than and Tedeschi, Alessandra and Franqueira, Virginia N.L. and Nuseibeh, Bashar (2011) OpenArgue: Supporting Argumentation to Evolve Secure Software Systems. In: 2011 IEEE 19th International Requirements Engineering Conference. IEEE, pp. 351-352. ISBN 978-1-4577-0921-0. E-ISBN 978-1-4577-0924-1. (doi:10.1109/re.2011.6051671) (KAR id:77194)

PDF Author's Accepted Manuscript
Language: English
Download (263kB) Preview
[thumbnail of yu11re.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
PDF Publisher pdf
Language: English

Restricted to Repository staff only
[thumbnail of 06051671.pdf]
Official URL


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.

Item Type: Book section
DOI/Identification number: 10.1109/re.2011.6051671
Uncontrolled keywords: Argumentation, Toulmin, Security Requirements, Tool, Automated Reasoning
Subjects: T Technology
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Virginia Franqueira
Date Deposited: 15 Oct 2019 15:00 UTC
Last Modified: 16 Nov 2021 10:26 UTC
Resource URI: (The current URI for this page, for reference purposes)
Franqueira, Virginia N.L.:
  • Depositors only (login required):