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: 19th IEEE International Requirements Engineering Conference, 29 Aug - 02 Sep 2011 , pp. 351–352.

Full text available as:
Full text not publicly available
Due to copyright restrictions, this file is not available for public download
Click here to request a copy from the OU Author.
URL: http://dx.doi.org/10.1109/RE.2011.6051671
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1109/RE.2011.6051671
Google Scholar: Look up in Google Scholar

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: Conference 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/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 29985
Depositing User: Thein Tun
Date Deposited: 09 Nov 2011 10:19
Last Modified: 07 Aug 2013 14:04
URI: http://oro.open.ac.uk/id/eprint/29985
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk