TY  - RPRT
TI  - A decidable policy language for history-based transaction monitoring
AU  - Andreas Bauer
AU  - Rajeev Gore
AU  - Alwen Tiu
PY  - 2009
DO  - 10.1007/978-3-642-03466-4_6
UR  - https://arxiv.org/abs/0903.2904
ID  - 0903.2904
ER  -