Language-based information-flow security. (2003)

by A Sabelfeld, A C Myers
Venue:IEEE J. Selected Areas in Communications,