Bergmann, Gábor; Massacci, Fabio; Paci, Federica; Tun, Thein; Varró, Dániel and Yu, Yijun
(2011).
|
PDF (Version of Record)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (570Kb) |
| URL: | http://ceur-ws.org/Vol-734/PaperDemo07.pdf |
|---|---|
| Google Scholar: | Look up in Google Scholar |
Abstract
Requirements evolution management is a daunting process. Requirements change continuously making the traceability of requirements hard and the monitoring of requirements unreliable. Moreover, changing requirements might have an impact on the security properties a system design should satisfy: certain security properties that are satisfied before evolution might no longer be valid or new security properties need to be satisfied. This paper presents SeCMER, a tool for requirements evolution management developed in the context of the SecureChange project. The tool supports automatic detection of requirement changes and violation of security properties using change-driven transformations. The tool also supports argumentation analysis to check security properties are preserved by evolution and to identify new security properties that should be taken into account.
| Item Type: | Conference Item |
|---|---|
| Copyright Holders: | 2011 The Authors |
| ISSN: | 1613-0073 |
| Funders: | SecureChange |
| Extra Information: | Proceedings of the CAiSE Forum 2011
London, UK, June 22-24, 2011. Edited by Selmin Nurcan urn:nbn:de:0074-734-7 |
| Keywords: | security requirements engineering; secure i; security argumentation; change impact analysis; security patterns |
| Academic Unit/Department: | Mathematics, Computing and Technology > Computing |
| Interdisciplinary Research Centre: | Centre for Research in Computing (CRC) |
| Related URLs: | |
| Item ID: | 29995 |
| Depositing User: | Thein Tun |
| Date Deposited: | 09 Nov 2011 09:36 |
| Last Modified: | 08 Dec 2012 14:58 |
| URI: | http://oro.open.ac.uk/id/eprint/29995 |
Actions (login may be required)
| View Item | |
| Public: Report issue / request change |




