On the Universally Composable Security of OpenStack
Loading...
Links to Files
Permanent Link
Author/Creator ORCID
Date
2018
Type of Work
Department
Program
Citation of Original Publication
Kyle Hogan, Hoda Maleki, Reza Rahaeimehr,Ran Canetti, Marten van Dijk, Jason Hennessey, Mayank Varia and Haibin Zhang. "On the Universally Composable Security of OpenStack." Cryptology ePrint Archive, Report 2018/602, 2018, https://eprint.iacr.org/2018/602.
Rights
This item may be protected under Title 17 of the U.S. Copyright Law. It is made available by UMBC for non-commercial research and education. For permission to publish or reproduce, please contact the author.
Attribution 3.0 Unported (CC BY 3.0)
Attribution 3.0 Unported (CC BY 3.0)
Abstract
OpenStack is the prevalent open-source, non-proprietary package for managing cloud services and data centers. It is highly complex and consists of multiple inter-related components which are developed by separate, loosely coordinated groups. We initiate an effort to provide a rigorous and holistic security analysis of OpenStack. Our analysis has the following key features:
-It is user-centric: It stresses the security guarantees given to users of the system, in terms of privacy, correctness, and timeliness of the services.
-It provides defense in depth: It considers the security of OpenStack even when some of the components are compromised. This departs from the traditional design approach of OpenStack, which assumes that all services are fully trusted.
-It is modular: It formulates security properties for individual components and uses them to assert security properties of the overall system.
We base our modeling and security analysis in the universally composable (UC) security framework, which has been so far used mainly for analyzing security of cryptographic protocols. Indeed, demonstrating how the UC framework can be used to argue about security-sensitive systems which are mostly non-cryptographic in nature is another main contribution of this work.
Our analysis covers only a number of core components of OpenStack. Still, it uncovers some basic and important security trade-offs in the design. It also naturally paves the way to a more comprehensive analysis of OpenStack.