Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants [E-Book] / by Sven Matthias Peldszus.
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....
Saved in:
Full text |
|
Personal Name(s): | Peldszus, Sven Matthias, author |
Edition: |
1st edition 2022. |
Imprint: |
Wiesbaden :
Springer Vieweg,
2022
|
Physical Description: |
XXXVI, 476 pages 138 illustrations, 80 illustrations in color (online resource) |
Note: |
englisch |
ISBN: |
9783658376659 |
DOI: |
10.1007/978-3-658-37665-9 |
Subject (LOC): |
- Introduction
- Running Example: iTrust
- State of the Art in Secure Software Systems Development
- A Walkthrough of the Proposed Development Approach
- Program Model for Object-oriented Languages
- Model-Synchronization and Tracing
- Application to Legacy Projects using Reverse-Engineering
- Static Security Compliance Checks
- Verification and Enforcement of Security at Run-time
- Specification of Variability throughout Variant-rich Software Systems
- Security in UML Product Lines
- Security Compliance and Restructuring in Variant-rich Software Systems
- The GRaViTY Framework
- Case Studies
- Related Work
- Conclusion.