Bergmann, Gábor; Massacci, Fabio; Paci, Federica; Tun, Thein; Varró, Dániel and Yu, Yijun
(2011).
| DOI (Digital Object Identifier) Link: | http://dx.doi.org/doi:10.1007/978-3-642-24755-2_35 |
|---|---|
| Google Scholar: | Look up in Google Scholar |
Abstract
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 Springer-Verlag |
| ISSN: | 0302-9743 |
| Funders: | SecureChange |
| Extra Information: | Lecture Notes in Computer Science 6994
Towards a Service-Based Internet 4th European Conference, ServiceWave 2011 Poznan, Poland, October 26-28, 2011 Proceedings Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière (Eds.) ISBN 978-3-642-24754-5 |
| 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) |
| Item ID: | 29987 |
| Depositing User: | Thein Tun |
| Date Deposited: | 09 Nov 2011 10:31 |
| Last Modified: | 30 Nov 2012 10:41 |
| URI: | http://oro.open.ac.uk/id/eprint/29987 |
Actions (login may be required)
| View Item | |
| Public: Report issue / request change |