Formal specification for RBAC user/role and role relationship management (1998)

by A Gavrila, J Barkley
Venue:In Proceedings of the 3rd ACM Workshop on Role Based Access Control