A Rigorous Approach to Uncovering Security Policy Violations in UML Designs
Analyzing and Managing Role-Based Access Control Policies