@article{stoller11symbolic,
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",
journal = "Computers \& Security",
volume=30,
number="2-3",
pages="148-164",
month="March-May",
year = 2011,
}