Towards a Service-Based Internet

Volume 6994 of the series Lecture Notes in Computer Science pp 321-322

SeCMER: A Tool to Gain Control of Security Requirements Evolution

  • Gábor BergmannAffiliated withDMIS, Budapest University of Technology and Economics
  • , Fabio MassacciAffiliated withDISI, University of Trento
  • , Federica PaciAffiliated withDISI, University of Trento
  • , Thein Than TunAffiliated withDC, The Open University
  • , Dániel VarróAffiliated withDMIS, Budapest University of Technology and Economics
  • , Yijun YuAffiliated withDC, The Open University

* Final gross prices may vary according to local VAT.

Get Access


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.


security requirements engineering secure i* security argumentation change impact analysis security patterns