Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage.

David von Oheimb

Browse the full ESORICS paper archive.