A Rigorous Approach to Uncovering Security Policy Violations in UML Designs | IEEE Conference Publication | IEEE Xplore