The authors of this book conducted several research initiatives in the area of computer security, privacy and cyber forensics. The content reported is the result of a 4-year research project on the aspect oriented security hardening of UML design models and is based on a fruitful collaboration between Concordia University and Ericsson under a research partnership program of the Canadian Natural Sciences and Engineering Research Council (NSERC).

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

The authors of this book conducted several research initiatives in the area of computer security, privacy and cyber forensics. The content reported is the result of a 4-year research project on the aspect oriented security hardening of UML design models and is based on a fruitful collaboration between Concordia University and Ericsson under a research partnership program of the Canadian Natural Sciences and Engineering Research Council (NSERC).

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

The authors of this book conducted several research initiatives in the area of computer security, privacy and cyber forensics. The content reported is the result of a 4-year research project on the aspect oriented security hardening of UML design models and is based on a fruitful collaboration between Concordia University and Ericsson under a research partnership program of the Canadian Natural Sciences and Engineering Research Council (NSERC).

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