Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, Ganesan Ramalingam, Lakshmisubrahmanyam Velaga. EON: modeling and analyzing dynamic access control systems with logic programs. In Peng Ning, Paul F. Syverson, Somesh Jha, editors, Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008. pages 381-390, ACM, 2008. [doi]
Abstract is missing.