A Rigorous Approach to Uncovering Security Policy Violations in UML Designs
USE: A UML-based specification environment for validating UML and OCL