Thumbnail Image
Publication

OpenArgue: supporting argumentation to evolve secure software systems

Date
2011
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.
Supervisor
Description
non-peer-reviewed
Publisher
IEEE Computer Society
Citation
RE'11 Poster/Demo;2011
Collections
Lero - The Science Foundation Ireland Research Centre for Software
Show all metadata
Files
Thumbnail Image
2011_Yu.pdf
Adobe PDF, 222.49 KB
Keywords
software systems, security requirements
ULRR Identifiers
https://hdl.handle.net/10344/1767
 https://doi.org/10.34961/9679
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/
License