SeCMER: A Tool to Gain Control of Security Requirements Evolution

CímSeCMER: A Tool to Gain Control of Security Requirements Evolution
Közlemény típusaBook Chapter
Kiadás éve2011
SzerzőkBergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y.
SzerkesztőAbramowicz, W., Llorente, I., Surridge, M., Zisman, A., and Vayssière, J.
KönyvcímTowards a Service-Based Internet
SorozatcímLecture Notes in Computer Science
Kötet6994
Pagination321-322
KiadóSpringer Berlin / Heidelberg
ISBN-szám978-3-642-24754-5
Összefoglalás

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.

Jegyzetek10.1007/978-3-642-24755-2_35
URLhttp://dx.doi.org/10.1007/978-3-642-24755-2_35
PDF: