@article {98,
	title = {Quantitative information flow in interactive systems},
	journal = {Journal of Computer Security},
	volume = {20},
	year = {2012},
	pages = {3-50},
	author = {M{\'a}rio S. Alvim and Miguel E. Andr{\'e}s and Catuscia Palamidessi}
}