Cover Image

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

Full description

Main Authors: Mouheb, Djedjiga. (Author, http://id.loc.gov/vocabulary/relators/aut), Debbabi, Mourad. (http://id.loc.gov/vocabulary/relators/aut), Pourzandi, Makan. (http://id.loc.gov/vocabulary/relators/aut), Wang, Lingyu. (http://id.loc.gov/vocabulary/relators/aut), Nouh, Mariam. (http://id.loc.gov/vocabulary/relators/aut), Ziarati, Raha. (http://id.loc.gov/vocabulary/relators/aut), Alhadidi, Dima. (http://id.loc.gov/vocabulary/relators/aut), Talhi, Chamseddine. (http://id.loc.gov/vocabulary/relators/aut), Lima, Vitor. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Subjects:
Software engineering.
Computer security.
Software Engineering.
Systems and Data Security.
Online Access:https://doi.org/10.1007/978-3-319-16106-8
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.

Similar Items