O. Lopez

Latest

• Enforcing Security and Assurance Properties in Cloud Environment