A Computational Game Theoretic Framework for Cryptography
Abstract
We develop a definition of protocol security relying on game-theoretic notions of implementation. We show that a natural special case of this this definition is equivalent to a variant of the traditional cryptographic definition of protocol security; this result shows that, when taking computation into account, the two approaches used for dealing with "deviating" players in two different communities--Nash equilibrium in game theory and zero-knowledge "simulation" in cryptography--are intimately related. Other special cases of our definition instead lead to more practical protocols and circumvent known lower bounds with respect to the cryptographic notion of security.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 31, 2009
- Accession Number
- AD1020533
Entities
People
- Joseph Halpern
- Rafael Pass
Organizations
- Cornell University