Types and Effects for Non-interfering Program Monitors.   [PDF, BibTeX, ]
Lujo Bauer, Jarred Ligatti, and David Walker.
In Software Security---Theories and Systems. Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers, volume 2609 of Lecture Notes in Computer Science, pages 154--171, 2003. Springer. © Springer-Verlag  DOI:10.1007/3-540-36532-X_10