Chapter

Formal Methods for Quantitative Aspects of Programming Languages

Volume 6154 of the series Lecture Notes in Computer Science pp 87-134

Information Theory and Security: Quantitative Information Flow

  • Pasquale MalacariaAffiliated withSchool of Electronic Engineering and Computer Science, Queen Mary University of London
  • , Jonathan HeusserAffiliated withSchool of Electronic Engineering and Computer Science, Queen Mary University of London

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We present the information theoretical basis of Quantitative Information Flow. We show the relationship between lattices, partitions and information theoretical concepts and their applicability to quantify leakage of confidential information in programs, including looping programs.

We also report on recent works that use these ideas to build tools for the automatic quantitative analysis of programs. The applicability of this information theoretical framework to the wider context of network protocols and the use of Lagrange multipliers in this setting is also demonstrated.