Aspect-Oriented Security Hardening of UML Design Models

• Κύριοι συγγραφείς: Mouheb, Djedjiga (Συγγραφέας), Debbabi, Mourad (Συγγραφέας), Pourzandi, Makan (Συγγραφέας), Wang, Lingyu (Συγγραφέας), Nouh, Mariam (Συγγραφέας), Ziarati, Raha (Συγγραφέας), Alhadidi, Dima (Συγγραφέας), Talhi, Chamseddine (Συγγραφέας), Lima, Vitor (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Θέματα: 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...

Πίνακας περιεχομένων:

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