Home Tags A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification

Tag: A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification