Language-based information-flow security (0)

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