Sequential Rationality in Cryptographic Protocols

Much of the literature on rational cryptography focuses on analyzing the strategic properties of cryptographic protocols. However, due to the presence of computationally bounded players and the asymptotic nature of cryptographic security, a definition of sequential rationality for this setting has thus far eluded researchers. The authors propose a new framework for overcoming these obstacles, and provide the first definitions of computational solution concepts that guarantee sequential rationality. They argue that natural computational variants of subgame perfection are too strong for cryptographic protocols.

Provided by: Northwestern University Topic: Security Date Added: Aug 2010 Format: PDF

Find By Topic