@Article{nonsafety-journal,
  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,
  pages =        {1--41},
  publisher =    {{ACM} Press},
  address =      {New York, NY, USA},
  url =          {http://doi.acm.org/10.1145/1455526.1455532},
}