Language-based information-flow security (0)

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