GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P252 - Software Engineering 2016
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P252 - Software Engineering 2016
  • View Item

Umlchange - specifying model changes to support security verification of potential evolution

Author:
Wenzel, Sven [DBLP] ;
Poggenpohl, Daniel [DBLP] ;
Jürjens, Jan [DBLP] ;
Ochoa, Martín [DBLP]
Abstract
Security certification of complex systems requires a high amount of effort. As a particular challenge, today's systems are increasingly long-living and subject to continuous change. After each change of some part of the system, the whole system needs to be re-certified from scratch (since security properties are not in general modular), which is usually far too much effort. We present a tool-supported approach for security certification that minimizes the amount of effort necessary in the case of re-certification after change. It is based on an approach for model-based development of secure software which makes use of the security extension UMLsec of the Unified Modeling Language (UML). It allows the user to integrate security requirements such as secure information flow and audit security into a system design model, it supported by a security verification tool chain, and has been applied to a number of industrial applications.
  • Citation
  • BibTeX
Wenzel, S., Poggenpohl, D., Jürjens, J. & Ochoa, M., (2016). Umlchange - specifying model changes to support security verification of potential evolution. In: Knoop, J. & Zdun, U. (Hrsg.), Software Engineering 2016. Bonn: Gesellschaft für Informatik e.V.. (S. 91-92).
@inproceedings{mci/Wenzel2016,
author = {Wenzel, Sven AND Poggenpohl, Daniel AND Jürjens, Jan AND Ochoa, Martín},
title = {Umlchange - specifying model changes to support security verification of potential evolution},
booktitle = {Software Engineering 2016},
year = {2016},
editor = {Knoop, Jens AND Zdun, Uwe} ,
pages = { 91-92 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
91.pdf53.71Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-646-6
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2016
Language: en (en)
Content Type: Text/Conference Paper
Collections
  • P252 - Software Engineering 2016 [58]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.