Scott D. Stoller Ping Yang Mikhail I. Gofman C. R. Ramakrishnan Symbolic reachability analysis for parameterized administrative role based access control. 165-174 2009 SACMAT http://doi.acm.org/10.1145/1542207.1542233 conf/sacmat/2009 db/conf/sacmat/sacmat2009.html#StollerYGR09