Noninterference and the most powerful probabilistic adversary (2006)

by A Aldini, A Di Pierro
Venue:In Proceedings of WITS’06