JFlow: Practical Mostly-Static Information Flow Control (1999)

by A Myers
Venue:In Symposium on Principles of Programming Languages (POPL