TY  - RPRT
TI  - Automated Verification Of Role-Based Access Control Policies Constraints Using Prover9
AU  - Khair Eddin Sabri
PY  - 2015
DO  - 10.5121/ijsptm.2015.4101
UR  - https://arxiv.org/abs/1503.07645
ID  - 1503.07645
ER  -