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
openstack
biblio
CloudSec: A Novel Approach to Verifying Security Conformance at the Bottom of the Cloud
Submitted by grigby1 on Tue, 02/06/2018 - 1:44pm
security
model checking
openstack
pubcrawl
quality of service
real cloud scenarios
Resiliency
Scalability
SecSLA model
Metrics
Security Conformance
security constraints
security of data
security SLA
storage management
UPPAAL
Virtual machining
CloudBeh model
big data analysis
big data security metrics
Cloud Computing
Cloud Modeling
cloud service behaviors
cloud service provider
cloud service security conformance
cloud storage service
Big Data
CloudBeh performance metrics conformance
CloudSec
Computational modeling
contracts
CSP
data analysis
Measurement
biblio
An Experimental Evaluation of a Cloud-Based Virtual Computer Laboratory Using Openstack
Submitted by grigby1 on Thu, 12/28/2017 - 1:36pm
Policy-Governed Secure Collaboration
Virtualization
Virtual machining
Virtual machine monitors
Virtual Computer Lab
Servers
Science of Security
Scalability
Resiliency
pubcrawl
Cloud Computing
openstack
Metrics
Human Factors
Human behavior
Experimental Evaluation
computer architecture
Computational modeling
composability
collaboration
biblio
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
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 - 1:58pm
cloud
co-residence
composability
formal verification
Human behavior
isolation
Metrics
openstack
privacy
pubcrawl
Resiliency
security auditing
Virtualization
virtualization privacy
biblio
Mayflies: A Moving Target Defense Framework for Distributed Systems
Submitted by grigby1 on Tue, 06/27/2017 - 1:43pm
byzantine fault tolerant
Cloud Computing
Metrics
moving target defense
moving target defenses
openstack
pubcrawl
resilience
Scalability
Software Defined Networks
« first
‹ previous
1
2
