When Role Models Have Flaws: Static Validation of Enterprise Security Policies | IEEE Conference Publication | IEEE Xplore