Lingyu Wang, Duminda Wijesekera, Sushil Jajodia. A logic-based framework for attribute based access control. In Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner, editors, Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004. pages 45-55, ACM, 2004. [doi]
Abstract is missing.