Aspect-Oriented Security Hardening of UML Design Models

• Main Authors: Mouheb, Djedjiga (Author), Debbabi, Mourad (Author), Pourzandi, Makan (Author), Wang, Lingyu (Author), Nouh, Mariam (Author), Ziarati, Raha (Author), Alhadidi, Dima (Author), Talhi, Chamseddine (Author), Lima, Vitor (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Subjects: Computer science.; Software engineering.; Computer security.; Computer Science.; Software Engineering.; Systems and Data Security.

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...

Table of Contents:

• 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.