@techreport{CoRR:abs09032904,
  author =	 {Andreas Bauer and Rajeev Gor{\'e} and Alwen Tiu},
  title =	 {A decidable policy language for history-based
                  transaction monitoring},
  type =	 {Computing Research Repository (CoRR)},
  number =       {abs/0903.2904},
  year =	 2009,
  month =	 Mar,
  institution =	 {Association for Computing Machinery (ACM)}
}