SeCMER: a tool to gain control of security requirements evolution

Authors:
Gábor Bergmann;Fabio Massacci;Federica Paci;Thein Tun;Dániel Varró;Yijun Yu
Affiliations:
DMIS, Budapest University of Technology and Economics;DISI, University of Trento;DISI, University of Trento;DC, The Open University;DMIS, Budapest University of Technology and Economics;DC, The Open University
Venue:
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
Year:
2011

Citing 5
Cited 0

Computer-aided Support for Secure Tropos

Automated Software Engineering
Early Identification of Problem Interactions: A Tool-Supported Approach

REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Model-Based Argument Analysis for Evolving Security Requirements

SSIRI '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement
Incremental evaluation of model queries over EMF models

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Change-driven model transformations

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

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.