@techreport{RR-06-04,
  title = "Using CSP to decide safety problems for access control policies",
  author = "Eldar Kleiner and Tom Newcomb",
  year = "2006",
  institution = "Oxford University Computing Laboratory",
  month = "January",
  number = "RR-06-04",
}