Automated and Efficient Analysis of Administrative Temporal RBAC Policies With Role Hierarchies

Journal of Computer Security - Netherlands
doi 10.3233/jcs-15756