The Open UniversitySkip to content

OpenArgue: supporting argumentation to evolve secure software systems

Yu, Yijun; Tun, Thein; Tedeschi, Alessandra; Franqueira, Virginia N. L. and Nuseibeh, Bashar (2011). OpenArgue: supporting argumentation to evolve secure software systems. In: 2011 IEEE 19th International Requirements Engineering Conference, pp. 351–352.

Full text available as:
PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (193kB)
DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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: Conference or Workshop Item
Copyright Holders: 2011 IEEE
Project Funding Details:
Funded Project NameProject IDFunding Body
SecureChangeNot SetEuropean Union
Not Set03/CE2/I303_1Science Foundation Ireland
Not SetNot SetSentinels
Extra Information: ISBN: 978-1-4577-0924-1
Keywords: asynchronous transfer mode; cognition; educational institutions; security; software systems; syntactics
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 29985
Depositing User: Thein Tun
Date Deposited: 09 Nov 2011 10:19
Last Modified: 07 Dec 2018 18:24
Share this page:


Altmetrics from Altmetric

Citations from Dimensions

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU