JFlow: Practical mostly-static information flow control (1999)

by A C MYERS
Venue:In Principles of Programming Languages