A Middleware for Assured Clouds