GUPTA, Jitendra. Formal Verification of Cloud RBAC Policies for Secure Google IAM Configurations. International Journal of Intelligent Systems and Data Science, [S. l.], v. 1, n. 2, 2026. DOI: 10.67231/nxs8qn07. Disponível em: https://journals.femington.com/ijisds/article/view/82. Acesso em: 17 aug. 2026.