TY  - RPRT
TI  - Automated Symbolic Analysis of ARBAC-Policies (Extended Version)
AU  - A. Armando
AU  - S. Ranise
PY  - 2010
UR  - https://arxiv.org/abs/1012.5590
ID  - 1012.5590
ER  -