Jflow: Practical mostly-static information flow control. (1999)

by A C Myers
Venue:In Proc. of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL'99),