A Rigorous Approach to Uncovering Security Policy Violations in UML Designs
Proposed NIST standard for role-based access control