@TechReport{ligatti+:editautotr2,
  author = 	 {Jay Ligatti and Lujo Bauer and David Walker},
  title = 	 {Enforcing non-safety security policies with program monitors},
  institution =  {Princeton University},
  month =        jan,
  year = 	 {2005},
  number = 	 {TR-720-05},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2005/editauto-tr-720-05.pdf}
}