@article{DBLP:journals/corr/abs-1102-2521,
author = {Deepak Garg and
Limin Jia and
Anupam Datta},
title = {A Logical Method for Policy Enforcement over Evolving Audit
Logs},
journal = {CoRR},
volume = {abs/1102.2521},
year = {2011},
ee = {http://arxiv.org/abs/1102.2521},
bibsource = {DBLP, http://dblp.uni-trier.de}
}