SeCMER: A Tool to Gain Control of Security Requirements Evolution

  • Gábor Bergmann
  • Fabio Massacci
  • Federica Paci
  • Thein Than Tun
  • Dániel Varró
  • Yijun Yu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6994)

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.

Keywords

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

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Gábor Bergmann
    • 1
  • Fabio Massacci
    • 2
  • Federica Paci
    • 2
  • Thein Than Tun
    • 3
  • Dániel Varró
    • 1
  • Yijun Yu
    • 3
  1. 1.DMISBudapest University of Technology and EconomicsHungary
  2. 2.DISIUniversity of TrentoItaly
  3. 3.DCThe Open UniversityUK

Personalised recommendations