Conformance Checking of Access Control Policies Specified in XACML | IEEE Conference Publication | IEEE Xplore