Towards a Theory of Cloud Computing in the Protocol-Composition Framework
Huafei Zhu · 2010
Cloud computing in general, refers to any service delivered on-demand to customers over the Internet. This paper investigates protocol-composition framework in the context of multi-party computation. We show that if a protocol realizes its functionality with respect to the derived adversary-environment security, then the protocol realizes this functionality with respect to the protocol-composition security.