An Approach to Modeling and Analyzing Security Requirements of Service Composition | IEEE Conference Publication | IEEE Xplore