Linked e-resources
Details
Table of Contents
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.
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.