Towards a Theory of Cloud Computing in the Protocol-Composition Framework | IEEE Conference Publication | IEEE Xplore