SeCMER: A Tool to Gain Control of Security Requirements Evolution
Submitted by OU on Tue, 2012-01-24 01:37
| Title | SeCMER: A Tool to Gain Control of Security Requirements Evolution |
| Publication Type | Book Chapter |
| Year of Publication | 2011 |
| Authors | Bergmann, G., F. Massacci, F. Paci, T. Tun, D. Varró, and Y. Yu |
| Secondary Authors | Abramowicz, W., I. Llorente, M. Surridge, A. Zisman, and J. Vayssière |
| Book Title | Towards a Service-Based Internet |
| Series Title | Lecture Notes in Computer Science |
| Volume | 6994 |
| Pagination | 321-322 |
| Publisher | Springer Berlin / Heidelberg |
| ISBN Number | 978-3-642-24754-5 |
| 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. |
| Notes | 10.1007/978-3-642-24755-2_35 |
| URL | http://dx.doi.org/10.1007/978-3-642-24755-2_35 |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
