Rationality and Security in Oblivious Transfer

摘要

Asharovら（Eurocrypt 2011）は，失敗停止モデルの敵に対する二者間プロトコルにおける正しさ，秘匿性，公平性の3つの性質に対する，ゲーム理論的な概念による特徴付けを行った.本研究では，Asharovらの研究をもとに，「2メッセージ」紛失通信における性質をゲーム理論的な概念によって特徴付けた.より具体的には，2メッセージ紛失通信プロトコルを利用した二者間ゲームを定義し，そのゲームがNash均衡を達成することと，そのプロトコルが悪意のある敵に対して正しさと秘匿性を達成することが等価であることを示した.%Asharov et al. (Eurocrypt 2011) studied how game-theoretic concepts can be used to capture the cryptographic properties of correctness, privacy, and fairness in two-party protocols in the presence of fail-stop adversaries. Based on their work, we characterize the properties of "two-message" oblivious transfer protocols by using a game-theoretic concept. Specifically, we present a single two-player game defined by a two-message oblivious transfer protocol, and show that the game achieves a Nash equilibrium if and only if the protocol achieves the correctness and the privacy in the presence of malicious adversaries.