@misc{indiciaec3c9afdf7d3c,
  title = {Model Checking Access Control Policies: A Case Study using Google Cloud IAM},
  author = {Antonios Gouglidis and Anna Kagia and Vincent C. Hu},
  year = {2023},
  url = {https://arxiv.org/abs/2303.16688},
  note = {Source identifier: 2303.16688}
}