A framework for semi-automated co-evolution of security knowledge and system models

Research output: Contribution to journalArticleResearchpeer review

Authors

  • Jens Bürger
  • Daniel Strüber
  • Stefan Gärtner
  • Thomas Ruhroth
  • Jan Jürjens
  • Kurt Schneider

Research Organisations

External Research Organisations

  • University of Koblenz-Landau
  • adesso SE
  • Fraunhofer Institute for Software and Systems Engineering (ISST)
View graph of relations

Details

Original languageEnglish
Pages (from-to)142-160
Number of pages19
JournalJournal of Systems and Software
Volume139
Early online date6 Feb 2018
Publication statusPublished - May 2018

Abstract

Security is an important and challenging quality aspect of software-intensive systems, becoming even more demanding regarding long-living systems. Novel attacks and changing laws lead to security issues that did not necessarily rise from a flawed initial design, but also when the system fails to keep up with a changing environment. Thus, security requires maintenance throughout the operation phase. Ongoing adaptations in response to changed security knowledge are inevitable. A necessary prerequisite for such adaptations is a good understanding of the security-relevant parts of the system and the security knowledge. We present a model-based framework for supporting the maintenance of security during the long-term evolution of a software system. It uses ontologies to manage the system-specific and the security knowledge. With model queries, graph transformation and differencing techniques, knowledge changes are analyzed and the system model is adapted. We introduce the novel concept of Security Maintenance Rules to couple the evolution of security knowledge with co-evolutions of the system model. As evaluation, community knowledge about vulnerabilities is used (Common Weakness Enumeration database). We show the applicability of the framework to the iTrust system from the medical care domain and hence show the benefits of supporting co-evolution for maintaining secure systems.

Keywords

    Co-evolution, Security impact analysis, Security requirements, Software design, Software evolution

ASJC Scopus subject areas

Cite this

A framework for semi-automated co-evolution of security knowledge and system models. / Bürger, Jens; Strüber, Daniel; Gärtner, Stefan et al.
In: Journal of Systems and Software, Vol. 139, 05.2018, p. 142-160.

Research output: Contribution to journalArticleResearchpeer review

Bürger J, Strüber D, Gärtner S, Ruhroth T, Jürjens J, Schneider K. A framework for semi-automated co-evolution of security knowledge and system models. Journal of Systems and Software. 2018 May;139:142-160. Epub 2018 Feb 6. doi: 10.1016/j.jss.2018.02.003
Bürger, Jens ; Strüber, Daniel ; Gärtner, Stefan et al. / A framework for semi-automated co-evolution of security knowledge and system models. In: Journal of Systems and Software. 2018 ; Vol. 139. pp. 142-160.
Download
@article{1a04fbc192de40bea814c842aaa9adb1,
title = "A framework for semi-automated co-evolution of security knowledge and system models",
abstract = "Security is an important and challenging quality aspect of software-intensive systems, becoming even more demanding regarding long-living systems. Novel attacks and changing laws lead to security issues that did not necessarily rise from a flawed initial design, but also when the system fails to keep up with a changing environment. Thus, security requires maintenance throughout the operation phase. Ongoing adaptations in response to changed security knowledge are inevitable. A necessary prerequisite for such adaptations is a good understanding of the security-relevant parts of the system and the security knowledge. We present a model-based framework for supporting the maintenance of security during the long-term evolution of a software system. It uses ontologies to manage the system-specific and the security knowledge. With model queries, graph transformation and differencing techniques, knowledge changes are analyzed and the system model is adapted. We introduce the novel concept of Security Maintenance Rules to couple the evolution of security knowledge with co-evolutions of the system model. As evaluation, community knowledge about vulnerabilities is used (Common Weakness Enumeration database). We show the applicability of the framework to the iTrust system from the medical care domain and hence show the benefits of supporting co-evolution for maintaining secure systems.",
keywords = "Co-evolution, Security impact analysis, Security requirements, Software design, Software evolution",
author = "Jens B{\"u}rger and Daniel Str{\"u}ber and Stefan G{\"a}rtner and Thomas Ruhroth and Jan J{\"u}rjens and Kurt Schneider",
note = "Publisher Copyright: {\textcopyright} 2018 Elsevier Inc. Copyright: Copyright 2018 Elsevier B.V., All rights reserved.",
year = "2018",
month = may,
doi = "10.1016/j.jss.2018.02.003",
language = "English",
volume = "139",
pages = "142--160",
journal = "Journal of Systems and Software",
issn = "0164-1212",
publisher = "Elsevier Inc.",

}

Download

TY - JOUR

T1 - A framework for semi-automated co-evolution of security knowledge and system models

AU - Bürger, Jens

AU - Strüber, Daniel

AU - Gärtner, Stefan

AU - Ruhroth, Thomas

AU - Jürjens, Jan

AU - Schneider, Kurt

N1 - Publisher Copyright: © 2018 Elsevier Inc. Copyright: Copyright 2018 Elsevier B.V., All rights reserved.

PY - 2018/5

Y1 - 2018/5

N2 - Security is an important and challenging quality aspect of software-intensive systems, becoming even more demanding regarding long-living systems. Novel attacks and changing laws lead to security issues that did not necessarily rise from a flawed initial design, but also when the system fails to keep up with a changing environment. Thus, security requires maintenance throughout the operation phase. Ongoing adaptations in response to changed security knowledge are inevitable. A necessary prerequisite for such adaptations is a good understanding of the security-relevant parts of the system and the security knowledge. We present a model-based framework for supporting the maintenance of security during the long-term evolution of a software system. It uses ontologies to manage the system-specific and the security knowledge. With model queries, graph transformation and differencing techniques, knowledge changes are analyzed and the system model is adapted. We introduce the novel concept of Security Maintenance Rules to couple the evolution of security knowledge with co-evolutions of the system model. As evaluation, community knowledge about vulnerabilities is used (Common Weakness Enumeration database). We show the applicability of the framework to the iTrust system from the medical care domain and hence show the benefits of supporting co-evolution for maintaining secure systems.

AB - Security is an important and challenging quality aspect of software-intensive systems, becoming even more demanding regarding long-living systems. Novel attacks and changing laws lead to security issues that did not necessarily rise from a flawed initial design, but also when the system fails to keep up with a changing environment. Thus, security requires maintenance throughout the operation phase. Ongoing adaptations in response to changed security knowledge are inevitable. A necessary prerequisite for such adaptations is a good understanding of the security-relevant parts of the system and the security knowledge. We present a model-based framework for supporting the maintenance of security during the long-term evolution of a software system. It uses ontologies to manage the system-specific and the security knowledge. With model queries, graph transformation and differencing techniques, knowledge changes are analyzed and the system model is adapted. We introduce the novel concept of Security Maintenance Rules to couple the evolution of security knowledge with co-evolutions of the system model. As evaluation, community knowledge about vulnerabilities is used (Common Weakness Enumeration database). We show the applicability of the framework to the iTrust system from the medical care domain and hence show the benefits of supporting co-evolution for maintaining secure systems.

KW - Co-evolution

KW - Security impact analysis

KW - Security requirements

KW - Software design

KW - Software evolution

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

U2 - 10.1016/j.jss.2018.02.003

DO - 10.1016/j.jss.2018.02.003

M3 - Article

AN - SCOPUS:85043281006

VL - 139

SP - 142

EP - 160

JO - Journal of Systems and Software

JF - Journal of Systems and Software

SN - 0164-1212

ER -

By the same author(s)