@inproceedings{gupta11abductive,
author="Puneet Gupta and Scott D. Stoller and Zhongyuan Xu",
title="Abductive Analysis of Administrative Policies in Rule-based Access Control",
booktitle="Proc.\ Seventh International Conference on Information Systems Security (ICISS 2011)",
publisher="Springer-Verlag",
series="Lecture Notes in Computer Science",
volume=7093,
month=dec,
year=2011,
pages="116-130"
}