Quantifying probabilistic information flow in computational reactive systems (2005)

by Michael Backes
Venue:In Proc. European Symposium on Research in Computer Security