<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Gábor Bergmann</style></author><author><style face="normal" font="default" size="100%">Massacci, Fabio</style></author><author><style face="normal" font="default" size="100%">Federica Paci</style></author><author><style face="normal" font="default" size="100%">Thein Tun</style></author><author><style face="normal" font="default" size="100%">Dániel Varró</style></author><author><style face="normal" font="default" size="100%">Yijun Yu</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Abramowicz, Witold</style></author><author><style face="normal" font="default" size="100%">Llorente, Ignacio</style></author><author><style face="normal" font="default" size="100%">Surridge, Mike</style></author><author><style face="normal" font="default" size="100%">Zisman, Andrea</style></author><author><style face="normal" font="default" size="100%">Vayssière, Julien</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">SeCMER: A Tool to Gain Control of Security Requirements Evolution</style></title><secondary-title><style face="normal" font="default" size="100%">Towards a Service-Based Internet</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/978-3-642-24755-2_35</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer Berlin / Heidelberg</style></publisher><volume><style face="normal" font="default" size="100%">6994</style></volume><pages><style face="normal" font="default" size="100%">321-322</style></pages><isbn><style face="normal" font="default" size="100%">978-3-642-24754-5</style></isbn><abstract><style face="normal" font="default" size="100%">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.</style></abstract><notes><style face="normal" font="default" size="100%">10.1007/978-3-642-24755-2_35</style></notes></record></records></xml>