E. M. Dominguez

Latest

• Enforcing Security and Assurance Properties in Cloud Environment