JFlow: Practical mostly-static information control (1999)

by Andrew C Myers
Venue:In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL