A.: Boosting model checking to analyse large ARBAC policies (2012)

by S Ranise, A T Truong, Armando
Venue:In: Security and Trust Management (STM