Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants

Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants
Author :
Publisher : Springer Nature
Total Pages : 490
Release :
ISBN-10 : 9783658376659
ISBN-13 : 3658376651
Rating : 4/5 (651 Downloads)

Book Synopsis Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants by : Sven Matthias Peldszus

Download or read book Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants written by Sven Matthias Peldszus and published by Springer Nature. This book was released on 2022-07-13 with total page 490 pages. Available in PDF, EPUB and Kindle. Book excerpt: For ensuring a software system's security, it is vital to keep up with changing security precautions, attacks, and mitigations. Although model-based development enables addressing security already at design-time, design models are often inconsistent with the implementation or among themselves. An additional burden are variants of software systems. To ensure security in this context, we present an approach based on continuous automated change propagation, allowing security experts to specify security requirements on the most suitable system representation. We automatically check all system representations against these requirements and provide security-preserving refactorings for preserving security compliance. For both, we show the application to variant-rich software systems. To support legacy systems, we allow to reverse-engineer variability-aware UML models and semi-automatically map existing design models to the implementation. Besides evaluations of the individual contributions, we demonstrate the approach in two open-source case studies, the iTrust electronics health records system and the Eclipse Secure Storage.


Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants Related Books

Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants
Language: en
Pages: 490
Authors: Sven Matthias Peldszus
Categories: Computers
Type: BOOK - Published: 2022-07-13 - Publisher: Springer Nature

DOWNLOAD EBOOK

For ensuring a software system's security, it is vital to keep up with changing security precautions, attacks, and mitigations. Although model-based development
Ernst Denert Award for Software Engineering 2022
Language: en
Pages: 178
Authors: Eric Bodden
Categories: Electronic books
Type: BOOK - Published: 2024 - Publisher: Springer Nature

DOWNLOAD EBOOK

Zusammenfassung: This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 202
Managed Software Evolution
Language: en
Pages: 439
Authors: Ralf Reussner
Categories: Computers
Type: BOOK - Published: 2019-06-26 - Publisher: Springer

DOWNLOAD EBOOK

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the Germa
Mastering Linux Security
Language: en
Pages: 271
Authors: Cybellium Ltd
Categories: Computers
Type: BOOK - Published: 2023-09-26 - Publisher: Cybellium Ltd

DOWNLOAD EBOOK

Are you ready to take charge of fortifying your Linux systems against the relentless tide of cyber threats? "Mastering Linux Security" is your comprehensive gui
Secure Systems Development with UML
Language: en
Pages: 336
Authors: Jan Jürjens
Categories: Business & Economics
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly