Model Checking Access Control Policies: A Case Study using Google Cloud IAM

Antonios Gouglidis, Anna Kagia, Vincent C. Hu

Authoring access control policies is challenging and prone to misconfigurations. Access control policies must be conflict-free. Hence, administrators should identify discrepancies…