Quantifying probabilistic information flow in computational reactive systems (2005)

by Michael Backes
Venue:In ESORICS’05, volume 3679 of LNCS