Andreas Bauer 0002 Rajeev Goré Alwen Tiu A decidable policy language for history-based transaction monitoring http://arxiv.org/abs/0903.2904 2009 CoRR abs/0903.2904 db/journals/corr/corr0903.html#abs-0903-2904 informal publication