A logic-based framework for attribute based access control (2004)

by L Wang, D Wijesekera, S Jajodia
Venue:Proceedings of the ACM Workshop on Formal Methods in Security Engineering