PDF:
SeCMER: A Tool to Gain Control of Security Requirements Evolution
| Title | SeCMER: A Tool to Gain Control of Security Requirements Evolution |
| Publication Type | Book Chapter |
| Year of Publication | 2011 |
| Authors | Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y. |
| Editor | Abramowicz, W., Llorente, I., Surridge, M., Zisman, A., and Vayssière, J. |
| 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 |
