Symbolic reachability analysis for parameterized administrative role based access control.

Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan

Browse the full SACMAT paper archive.