Prasad Naldurg, Raghavendra K. R.. SEAL: a logic programming framework for specifying and verifying access control models. In Ruth Breu, Jason Crampton, Jorge Lobo, editors, SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings. pages 83-92, ACM, 2011. [doi]
Abstract is missing.