Wolter et al.

A model-driven transformation approach from modelled security goals in the context of process models to concrete security implementations.

Security DSLs provided by the Tool
Name
Description
A simplistic view of a service-oriented architecture comprises three overlapping domains.
Security Checks provided by the Tool
Name
Description