Yu, Yijun; Tun, Thein; Tedeschi, Alessandra; Franqueira, Virginia N. L. and Nuseibeh, Bashar
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:
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.
|External Project Funding Details:
|Funded Project Name||Project ID||Funding Body|
|SecureChange||Not Set||European Union|
|Not Set||03/CE2/I303_1||Science Foundation Ireland|
|Not Set||Not Set||Sentinels|
||asynchronous transfer mode; cognition; educational institutions; security; software systems; syntactics
||Mathematics, Computing and Technology > Computing & Communications
|Interdisciplinary Research Centre:
||Centre for Research in Computing (CRC)
||09 Nov 2011 10:19
||07 Aug 2013 14:04
Actions (login may be required)