Towards a theory of universally composable cloud computing

Abstract

This paper studies universally composable Cloud computing and makes the following two-fold contributions - In the first fold, various notions of Clouds are introduced and formalized. The security of public Cloud computing is formalized within the standard secure computations framework. - In the second, a universally composable theorem of Cloud computing in the presence of monotone adversary structure within Canetti's universally composable framework is presented and analyzed. Our contribution possibly bridges security gaps between the industrial views of Clouds and that of theoretical researchers. © 2009 Springer-Verlag.