@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 = {<p>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-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}
}
