G.: Vac - verifier of administrative role-based access control policies (2014)

by A L Ferrara, P Madhusudan, T L Nguyen, Parlato
Venue:In: Computer Aided Verification (CAV