Enforcing non-safety security policies with program monitors.   [PDF, BibTeX, ]
Jay Ligatti, Lujo Bauer, and David Walker.
Technical Report TR-720-05, Princeton University, January 2005.