Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
co-residence
biblio
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Tue, 09/26/2017 - 11:35am
cloud
co-residence
Compositionality
formal verification
isolation
Metrics
openstack
pubcrawl
Resiliency
Scalability
scalable verification
security auditing
Security Audits
Security Policies Analysis
Virtualization
biblio
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Wed, 08/02/2017 - 12:58pm
cloud
co-residence
composability
formal verification
Human behavior
isolation
Metrics
openstack
privacy
pubcrawl
Resiliency
security auditing
Virtualization
virtualization privacy
