@InProceedings{esorics2005:nonsafety,
  author = 	 {Jay Ligatti and Lujo Bauer and David Walker},
  title = 	 {Enforcing non-safety security policies with program monitors},
  booktitle =    {Computer Security---ESORICS 2005: 10th European Symposium on Research in Computer Security},
  series =       {Lecture Notes in Computer Science},
  volume =       3679,
  pages =        {355--373},
  month =        sep,
  year = 	 {2005},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2005/esorics2005-nonsafety.pdf},
  doi =          {10.1007/11555827_21},
  copyright =    {Springer-Verlag},
  publisher =    {Springer},
}