A Per Model of Secure Information Flow in Sequential Programs (1998)

by Andrei Sabelfeld , David Sands
Venue:HIGHER-ORDER AND SYMBOLIC COMPUTATION