Advertisement

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 

References

  1. 1.
    EUROCONTROL ATM Strategy for the Years 2000+ Executive Summary (2003)Google Scholar
  2. 2.
    Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., Ökrös, A.: Incremental evaluation of model queries over EMF models. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 76–90. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  3. 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. 4.
  5. 5.
    Massacci, F., Mylopoulos, J., Zannone, N.: Computer-aided support for secure tropos. Automated Software Engg. 14, 341–364 (2007)CrossRefGoogle Scholar
  6. 6.
    Tun, T.T., Yu, Y., Laney, R., Nuseibeh, B.: Early identification of problem interactions: A tool-supported approach. In: Glinz, M., Heymans, P. (eds.) REFSQ 2009 Amsterdam. LNCS, vol. 5512, pp. 74–88. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  7. 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

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