Model Checking Access Control Policies: A Case Study using Google Cloud IAM. - Antonios Gouglidis; Anna Kagia; Vincent C. Hu (CoRR, 2023)