Ninghui Li 0001 Mahesh V. Tripunitara Security analysis in role-based access control. 126-135 2004 conf/sacmat/2004 SACMAT https://doi.org/10.1145/990036.990058 db/conf/sacmat/sacmat2004.html#LiT04