SeCMER: A Tool to Gain Control of Security Requirements Evolution
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.
Keywordssecurity requirements engineering secure i* security argumentation change impact analysis security patterns
- 1.EUROCONTROL ATM Strategy for the Years 2000+ Executive Summary (2003)Google Scholar
- 3.Bergmann, G., et al.: Change-Driven Model Transformations. Change (in) the Rule to Rule the Change. Software and System Modeling (to appear, 2011)Google Scholar
- 4.Bergmann, et al.: D3.4 Proof of Concept Case Tool, http://www.securechange.eu/sites/default/files/deliverables/D3.4%20Proof-of-Concept%20CASE%20Tool%20for%20early%20requirements.pdf
- 7.Tun, T.T., et al.: Model-based argument analysis for evolving security requirements. In: Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement (2010)Google Scholar