Language-based information-flow security (0)

by A Sabelfeld, A C Myers
Venue:IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS