Avik Chaudhuri Prasad Naldurg Sriram K. Rajamani G. Ramalingam Lakshmisubrahmanyam Velaga EON: modeling and analyzing dynamic access control systems with logic programs. 381-390 2008 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/1455770.1455818 conf/ccs/2008 db/conf/ccs/ccs2008.html#ChaudhuriNRRV08