Decentralized Information Flow Verification Framework for the Service Chain Composition in Mobile Computing Environments | IEEE Conference Publication | IEEE Xplore