Menzel et al.

Menzel et al provide an model-driven approach using security annotations to be translated into domain-independent security model.

Security DSLs provided by the Tool
Name
Description
Menzel et al.
Enables modeling of serivce-oriented architecture
Security Checks provided by the Tool
Name
Description