J. Franco

Latest

• Enforcing Security and Assurance Properties in Cloud Environment