Enforcing non-safety security policies with program monitors.   [PDF, BibTeX, ]
Jay Ligatti, Lujo Bauer, and David Walker.
In Computer Security---ESORICS 2005: 10th European Symposium on Research in Computer Security, volume 3679 of Lecture Notes in Computer Science, pages 355--373, September 2005. Springer. © Springer-Verlag  DOI:10.1007/11555827_21