Certifying Information Flow Properties of Programs: An Axiomatic Approach.

Richard P. Reitman, Gregory R. Andrews

Browse the full POPL paper archive.