Ramakrishnan,“Symbolic Reachability Analysis for Parameterized Administrative Role Based Access (2011)

by S D Stoller, P Yang, M Gofman, C R
Venue:Control,” Computers & Security,