Yu et al. - RBAC

A lightweight, scenario-based UML design analysis approach to rigorously analyze a UML design to uncover security policy violations.

Security DSLs provided by the Tool
Name
Description
The metamodel for RBAC.
Security Checks provided by the Tool
Name
Description