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

by L Wang, D Wijesekera, S Jajodia
Venue:In FMSE ’04: Proceedings of the 2004 ACM workshop on Formal methods in security engineering