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

by Silvio Ranise, Anh Truong, Ro Arm
Venue:In: Security and Trust Management (STM