Distributed Quantitative Information Flow Evaluation for Service Composition in Clouds | IEEE Conference Publication | IEEE Xplore