Language-based information-flow security (2003)

by Andrei Sabelfeld, Andrew Myers
Venue:IEEE Journal on Selected Areas in Communications