Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC | IEEE Conference Publication | IEEE Xplore