A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification.
Quratulain AlamSaif Ur Rehman MalikAdnan AkhunzadaKim-Kwang Raymond ChooSaher TabbasumMasoom AlamPublished in: IEEE Trans. Inf. Forensics Secur. (2017)