Verification of Access Control Policies for REA Business Processes | IEEE Conference Publication | IEEE Xplore