@inbook {springerlink:10.1007/978-3-642-24755-2_35, title = {SeCMER: A Tool to Gain Control of Security Requirements Evolution}, booktitle = {Towards a Service-Based Internet}, series = {Lecture Notes in Computer Science}, volume = {6994}, year = {2011}, note = {10.1007/978-3-642-24755-2_35}, pages = {321-322}, publisher = {Springer Berlin / Heidelberg}, organization = {Springer Berlin / Heidelberg}, 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.
}, isbn = {978-3-642-24754-5}, url = {http://dx.doi.org/10.1007/978-3-642-24755-2_35}, author = {G{\'a}bor Bergmann and Fabio Massacci and Federica Paci and Thein Tun and D{\'a}niel Varr{\'o} and Yijun Yu}, editor = {Abramowicz, Witold and Llorente, Ignacio and Surridge, Mike and Zisman, Andrea and Vayssi{\`e}re, Julien} }