J. Gupta, “Formal Verification of Cloud RBAC Policies for Secure Google IAM Configurations”, Int. J. Intell. Syst. Data Sci., vol. 1, no. 2, Jun. 2026, doi: 10.67231/nxs8qn07.