Glenn Bruns, Daniel S. Dantas, Michael Huth. A simple and expressive semantic framework for policy composition in access control. In Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel, editors, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. pages 12-21, ACM, 2007. [doi]
Abstract is missing.