Enforcing Security and Assurance Properties in Cloud Environment | Publicación