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