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