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
Link To Document