SeCMER: A Tool to Gain Control of Security Requirements Evolution

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.