Boreale, Michele and Pampaloni, Francesca and Paolini, Michela Quantitative information flow, with a view. In: Computer Security – ESORICS 2011. Lecture Notes in Computer Science, 6879 (6879). Springer, pp. 588-606. ISBN 978-3-642-23821-5 (2011)