Language-based informationflow security (2003)

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