@TechReport{kumar+:acc-ctl,
  author = 	 {Avijit Kumar and Robert Harper},
  title = 	 {A Language For Access Control},
  institution =  {Carnegie Mellon University School of Computer Science},
  year = 	 2007,
  number = 	 {CMU--CS--07--140},
  address = 	 {Pittsburgh, PA},
  month = 	 {July}}