Cross Tenant Access Control(CTAC) Model for Cloud Computing: Formal Specification and Verification - C, CHETHAN; N, Rajesh (International Journal of Advance Research and Innovative Ideas In Education, 2023)