Glenn Bruns, Michael Huth, Kumar Avijit. Program synthesis in administration of higher-order permissions. 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 41-50, ACM, 2011. [doi]
Abstract is missing.