@inbook {springerlink:10.1007/978-3-642-29749-6_8,
	title = {A Tool for Managing Evolving Security Requirements},
	booktitle = {IS Olympics: Information Systems in a Diverse World},
	series = {Lecture Notes in Business Information Processing},
	volume = {107},
	year = {2012},
	note = {10.1007/978-3-642-29749-6_8},
	pages = {110-125},
	publisher = {Springer Berlin Heidelberg},
	organization = {Springer Berlin Heidelberg},
	abstract = {<p>
	Management of requirements evolution is a challenging process. Requirements change continuously making the traceability of requirements difficult 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 after changes have been introduced. 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.</p>
},
	isbn = {978-3-642-29749-6},
	doi = {10.1007/978-3-642-29749-6_8},
	url = {http://dx.doi.org/10.1007/978-3-642-29749-6_8},
	author = {G{\'a}bor Bergmann and Fabio Massacci and Federica Paci and Tun, Thein Than and D{\'a}niel Varr{\'o} and Yijun Yu},
	editor = {Selmin Nurcan and Aalst, Wil and Mylopoulos, John and Rosemann, Michael and Shaw, Michael J. and Szyperski, Clemens}
}
