Malacaria. Algebraic Foundations for Information Theoretical, Probabilistic and Guessability Measures of Information Flow. 18 Jan. 2011.