Language-Based Information-Flow Security (2003)

by Andrei Sabelfeld , Andrew C. Myers
Venue:IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS