TY  - RPRT
TI  - Model Checking Access Control Policies: A Case Study using Google Cloud IAM
AU  - Antonios Gouglidis
AU  - Anna Kagia
AU  - Vincent C. Hu
PY  - 2023
UR  - https://arxiv.org/abs/2303.16688
ID  - 2303.16688
ER  -