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

by Andrew C Myers
Venue:Proc. Principles of Programming Languages