Gupta, Jitendra. 2026. “Formal Verification of Cloud RBAC Policies for Secure Google IAM Configurations”. International Journal of Intelligent Systems and Data Science 1 (2). https://doi.org/10.67231/nxs8qn07.