Language-based information-flow security (2003)

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