A Per Model of Secure Information Flow in Sequential Programs.

Andrei Sabelfeld, David Sands

Browse the full ESOP paper archive.