Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control | IEEE Conference Publication | IEEE Xplore