@TechReport{ligatti+:nonsafetytr,
  author =       {Jay Ligatti and Lujo Bauer and David Walker},
  title =        {Enforcing Non-safety Security Policies with Program Monitors},
  institution =  {Princeton University},
  year =         {2005},
  number =       {TR-720-05},
  month =        jan,
  url =		 {http://www.cs.princeton.edu/~jligatti/papers/NonSafetyTR.pdf}
}