Title: Towards Security Analysis of OpenStack
Ph.D. Candidate: Hoda Maleki
Major Advisor: Marten van Dijk
Associate Advisors: John Chandy, Benjamin Fuller
Date/Time: Monday, February 11, 2019 1 pm
Location: ITE 401
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. All of these properties make the security analysis of OpenStack both a crucial mission and a challenging one. In this dissertation, we will present how we can provide a rigorous and holistic security analysis of OpenStack. The modeling and security analysis is based on the universally composable (UC) security framework, which provides a way to articulate security properties rigorously and precisely.