Yu, Yijun; Tun, Thein; Tedeschi, Alessandra; Franqueira, Virginia N. L. and Nuseibeh, Bashar
(2011).
|
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/doi: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 |
| Funders: | SecureChange |
| 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 |
| 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: | 08 Dec 2012 01:48 |
| URI: | http://oro.open.ac.uk/id/eprint/29985 |
Actions (login may be required)
| View Item | |
| Report issue / request change |