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