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)

PDF - Author's Accepted Manuscript
Download (263kB) Preview
[img]
Preview
PDF - Publisher pdf
Restricted to Repository staff only
Contact us about this Publication Download (273kB)
[img]
Official URL
https://dx.doi.org/10.1109/re.2011.6051671

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.

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: Faculties > Sciences > School of Computing > Security Group
Depositing User: Virginia Nunes Leal Franqueira
Date Deposited: 15 Oct 2019 15:00 UTC
Last Modified: 17 Oct 2019 15:27 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/77194 (The current URI for this page, for reference purposes)
Franqueira, Virginia N.L.: https://orcid.org/0000-0003-1332-9115
  • Depositors only (login required):

Downloads

Downloads per month over past year