Types and effects for non-interfering program monitors (2002)

by L Bauer, J Ligatti, D Walker
Venue:In International Symposium on Software Security