@article{sasturkar11policy,
author="Amit Sasturkar and Ping Yang and Scott D. Stoller and C. R. Ramakrishnan",
title="Policy Analysis for Administrative Role Based Access Control",
journal="Theoretical Computer Science",
year=2011
}