Aspect-Oriented Security Hardening of UML Design Models
This book comprehensively presents a novel approach to the systematic security hardening of software design models expressed in the standard UML language. It combines model-driven engineering and the aspect-oriented paradigm to integrate security practices into the early phases of the software devel...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | , , , , , , , , |
Autor Corporativo: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
Edición: | 1st ed. 2015. |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 1 Introduction
- 2 Unified Modeling Language
- 3 Aspect-Oriented Paradigm
- 4 Model-Driven Architecture and Model Transformations
- 5 Model-Based Security
- 6 Security Aspect Specification
- 7 Security Aspect Weaving
- 8 Static Matching and Weaving Semantics in Activity Diagrams
- 9 Dynamic Matching and Weaving Semantics in k-Calculus
- 10 Dynamic Matching and Weaving Semantics in Executable UML
- 11 Conclusion.