View of Formal Verification of Cloud RBAC Policies for Secure Google IAM Configurations

Return to Article Details Formal Verification of Cloud RBAC Policies for Secure Google IAM Configurations Download