Gupta, J. (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