• DocumentCode
    2947814
  • Title

    The Thermodynamics of Confidentiality

  • Author

    Malacaria, P. ; Smeraldi, F.

  • Author_Institution
    Sch. of Electron. Eng. & Comput. Sci., Queen Mary Univ. of London, London, UK
  • fYear
    2012
  • fDate
    25-27 June 2012
  • Firstpage
    280
  • Lastpage
    290
  • Abstract
    This work, of a foundational nature, establishes a connection between secure computation and the 2nd principle of thermodynamics. In particular we show that any deterministic computation, where the final state of the system is observable, must dissipate at least W K_B T ln(2). Here W is the information theoretic notion of remaining uncertainty as defined in Quantitative Information Flow, K_B the Boltzmann constant and T the system temperature. By contrast, for probabilistic computations thermodynamic work can be extracted from secure systems: in this case, again using information theoretic results, we provide bounds on the amount of work that can be extracted. Further we show that in deterministic systems the dissipated energy is an upper bound on Smith´s remaining vulnerability, by doing so we provide the first thermodynamic interpretation of guess ability. Crucially, unlike much literature on the physics of computation, our focus is not a universal model but a software field of great practical relevance, namely security. We see this work as a genuine scientific advance with the potential to enhance the understanding of both confidentiality and dissipative systems in physics.
  • Keywords
    constants; probability; security of data; thermodynamics; Boltzmann constant; confidentiality thermodynamics; deterministic computation; energy dissipation; guessability; information theory; probabilistic computations; quantitative information flow; remaining vulnerability; system temperature; thermodynamics 2nd principle; upper bound; Computational modeling; Computers; Entropy; Heating; Mathematical model; Security; Thermodynamics; Information Theory; Quantitative Information Flow; Security; Thermodynamics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Symposium (CSF), 2012 IEEE 25th
  • Conference_Location
    Cambridge, MA
  • ISSN
    1940-1434
  • Print_ISBN
    978-1-4673-1918-8
  • Electronic_ISBN
    1940-1434
  • Type

    conf

  • DOI
    10.1109/CSF.2012.18
  • Filename
    6266166