Symbolic reachability analysis for parameterized administrative role-based access control

Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan. Symbolic reachability analysis for parameterized administrative role-based access control. Computers & Security, 30(2-3):148-164, 2011. [doi]

Authors

Scott D. Stoller

This author has not been identified. Look up 'Scott D. Stoller' in Google

Ping Yang

This author has not been identified. Look up 'Ping Yang' in Google

Mikhail I. Gofman

This author has not been identified. Look up 'Mikhail I. Gofman' in Google

C. R. Ramakrishnan

This author has not been identified. Look up 'C. R. Ramakrishnan' in Google