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.