SeCMER: A tool to gain control of security requirements evolution

Gábor Bergmann, Fabio Massacci, Federica Paci, Thein Than Tun, D. Varró, Yijun Yu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages321-322
Number of pages2
Volume6994 LNCS
DOIs
Publication statusPublished - 2011
Event4th European Conference on Towards a Service-Based Internet, ServiceWave 2011 - Poznan, Poland
Duration: Oct 26 2011Oct 28 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6994 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other4th European Conference on Towards a Service-Based Internet, ServiceWave 2011
CountryPoland
CityPoznan
Period10/26/1110/28/11

Fingerprint

Gain control
Tool Support
Requirements
Argumentation

Keywords

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

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Bergmann, G., Massacci, F., Paci, F., Tun, T. T., Varró, D., & Yu, Y. (2011). SeCMER: A tool to gain control of security requirements evolution. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6994 LNCS, pp. 321-322). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6994 LNCS). https://doi.org/10.1007/978-3-642-24755-2_35

SeCMER : A tool to gain control of security requirements evolution. / Bergmann, Gábor; Massacci, Fabio; Paci, Federica; Tun, Thein Than; Varró, D.; Yu, Yijun.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6994 LNCS 2011. p. 321-322 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6994 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bergmann, G, Massacci, F, Paci, F, Tun, TT, Varró, D & Yu, Y 2011, SeCMER: A tool to gain control of security requirements evolution. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 6994 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6994 LNCS, pp. 321-322, 4th European Conference on Towards a Service-Based Internet, ServiceWave 2011, Poznan, Poland, 10/26/11. https://doi.org/10.1007/978-3-642-24755-2_35
Bergmann G, Massacci F, Paci F, Tun TT, Varró D, Yu Y. SeCMER: A tool to gain control of security requirements evolution. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6994 LNCS. 2011. p. 321-322. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-24755-2_35
Bergmann, Gábor ; Massacci, Fabio ; Paci, Federica ; Tun, Thein Than ; Varró, D. ; Yu, Yijun. / SeCMER : A tool to gain control of security requirements evolution. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6994 LNCS 2011. pp. 321-322 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{f6057c6872c642408b4ff20a0bf6d3a7,
title = "SeCMER: A tool to gain control of security requirements evolution",
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 = "change impact analysis, secure i*, security argumentation, security patterns, security requirements engineering",
author = "G{\'a}bor Bergmann and Fabio Massacci and Federica Paci and Tun, {Thein Than} and D. Varr{\'o} and Yijun Yu",
year = "2011",
doi = "10.1007/978-3-642-24755-2_35",
language = "English",
isbn = "9783642247545",
volume = "6994 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "321--322",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - SeCMER

T2 - A tool to gain control of security requirements evolution

AU - Bergmann, Gábor

AU - Massacci, Fabio

AU - Paci, Federica

AU - Tun, Thein Than

AU - Varró, D.

AU - Yu, Yijun

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

KW - change impact analysis

KW - secure i

KW - security argumentation

KW - security patterns

KW - security requirements engineering

UR - http://www.scopus.com/inward/record.url?scp=80054082476&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80054082476&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-24755-2_35

DO - 10.1007/978-3-642-24755-2_35

M3 - Conference contribution

AN - SCOPUS:80054082476

SN - 9783642247545

VL - 6994 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 321

EP - 322

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -