Security Requirements in Web Service Composition: Formalization, Integration, and Verification | IEEE Conference Publication | IEEE Xplore