@Article{lbw09:editauto,
  author = 	 {Jay Ligatti and Lujo Bauer and David Walker},
  title = 	 {Run-time enforcement of nonsafety policies},
  journal =      {ACM Transactions on Information and System Security},
  month =        jan,
  year =         {2009},
  volume =       {12},
  number =       {3},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2009/tissec09-editauto.pdf},
  doi =          {10.1145/1455526.1455532},
  copyright =    {ACM},
  publisher =    {ACM},
  keywords =     {run-time monitoring, language-based security},
}