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

by A Myers
Venue:in: Proceedings 26th Symposium on Principles of Programming Languages