Computational Probabilistic Non-interference.

Michael Backes, Birgit Pfitzmann

Browse the full ESORICS paper archive.