Verification of Access Control Requirements in Web Services Choreography | IEEE Conference Publication | IEEE Xplore