The Science of Quantitative Information Flow - Alvim; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Carroll; Palamidessi, Catuscia; Smith, Geoffrey (Springer International Publishing, 2020)