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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

Composite Services

biblio

Visible to the public An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services

Submitted by aekwall on Fri, 01/13/2023 - 4:04pm
  • security
  • Scalability
  • operating systems
  • pubcrawl
  • Open Source Software
  • Compositionality
  • Prototypes
  • Cloud Security
  • automation
  • Composite Services
  • elasticity
  • Resource Migration
  • security automation
  • Vulnerability Management
  • security scalability

Terms of Use  |  ©2023. CPS-VO