Possibilistic Information Flow Control in the Presence of Encrypted Communication.

Dieter Hutter, Axel Schairer

Browse the full ESORICS paper archive.