Computational probabilistic non-interference (2002)

by Michael Backes, Birgit Pfitzmann
Venue:In Proc. 7th European Symposium on Research in Computer Security (ESORICS