Symbolic Reachability Analysis for Parameterized Administrative Role Based Access Control

university policy (case study)
university policy after expansion of role hierarchy

health care policy (case study)
health care policy after expansion of role hierarchy

Synthetic Policies and Goals