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]

Abstract

Abstract is missing.