TY  - RPRT
TI  - CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies
AU  - Joe Stubbs
AU  - Smruti Padhy
AU  - Richard Cardone
AU  - Steven Black
PY  - 2023
UR  - https://arxiv.org/abs/2307.05745
ID  - 2307.05745
ER  -