EON: modeling and analyzing dynamic access control systems with logic programs. - Avik Chaudhuri; Prasad Naldurg; Sriram K. Rajamani; G. Ramalingam; Lakshmisubrahmanyam Velaga (CCS, 2008)