@inproceedings{stoller09symbolic,
author = "Scott D. Stoller and Ping Yang and Mikhail Gofman and C.R. Ramakrishnan",
title = "Symbolic Reachability Analysis for Parameterized Administrative Role Based Access Control",
booktitle = "Proceedings of the 14th ACM Symposium on Access Control Models and Technologies (SACMAT)",
year = 2009,
publisher="ACM Press"
}