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
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;
Conference_Titel :
Computer Security Foundations Symposium (CSF), 2012 IEEE 25th
Conference_Location :
Cambridge, MA
Print_ISBN :
978-1-4673-1918-8
Electronic_ISBN :
1940-1434
DOI :
10.1109/CSF.2012.18