A Compose Language-Based Framework for Secure Service Composition | IEEE Conference Publication | IEEE Xplore