Deepak Garg Limin Jia Anupam Datta A Logical Method for Policy Enforcement over Evolving Audit Logs http://arxiv.org/abs/1102.2521 2011 CoRR abs/1102.2521 db/journals/corr/corr1102.html#abs-1102-2521