An Approach to Formally Validate and Verify the Compliance of Low Level Access Control Policies | IEEE Conference Publication | IEEE Xplore