A Model to Verify Quality of Protection Policies in Composite Web Services | IEEE Conference Publication | IEEE Xplore