@ARTICLE{
author={Kupresanin Matija|,Subotic Pavle|},
year={2023},
title={Ambit: Verification of Azure RBAC},
journal={PROCEEDINGS OF THE 2023 CLOUD COMPUTING SECURITY WORKSHOP, CCSW 2023},
volume={},
number={},
pages={31-40},
document_type={Proceedings Paper},
}