The Open UniversitySkip to content

SeCMER: a tool to gain control of security requirements Evolution

Bergmann, Gábor; Massacci, Fabio; Paci, Federica; Tun, Thein; Varró, Dániel and Yu, Yijun (2011). SeCMER: a tool to gain control of security requirements Evolution. In: ServiceWave 2011, 26-28 Oct 2011, Poznan, Poland, pp. 321–322.

DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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.

Item Type: Conference Item
Copyright Holders: 2011 Springer-Verlag
ISSN: 0302-9743
Project Funding Details:
Funded Project NameProject IDFunding Body
Not SetNot SetSecureChange
Extra Information: Lecture Notes in Computer Science 6994

Towards a Service-Based Internet
4th European Conference, ServiceWave 2011
Poznan, Poland, October 26-28, 2011
Witold Abramowicz, Ignacio M. Llorente, Mike Surridge, Andrea Zisman, Julien Vayssière (Eds.)

ISBN 978-3-642-24754-5
Keywords: security requirements engineering; secure i*; security argumentation; change impact analysis; security patterns
Academic Unit/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 29987
Depositing User: Thein Tun
Date Deposited: 09 Nov 2011 10:31
Last Modified: 13 Aug 2013 14:06
Share this page:


Scopus Citations

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340