u Capture and formalization of security requirements
u Model-driven specification and implementation of security policies
u Model-driven specification and development of security architectures
u Model-driven security assessment.