On the Universally Composable Security of OpenStack | IEEE Conference Publication | IEEE Xplore