著者

川越 敏司

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告情報システムと社会環境(IS) (ISSN:09196072)

巻号頁・発行日

vol.1996, no.44, pp.1-9, 1996-05-21

参考文献数

8

---

本論文では、急速に発展しつつあるInternetを通じた電子取引の時代に向けて、そうした取引の安全性や正当性を保証するための暗号化プロトコルについて、ゲーム理論の立場からその特質と限界を提示し、こうしたプロトコルデザインとゲーム理論との協調作業が重要であることを論じる。プロトコルデザインにおいては、プロトコルを通じて送られる通信中のメッセージの改ざんを防ぐことで、安全性や正当性を保証するプロトコルを考えることを目標としているが、こうしたプロトコルにおいて送られるメッセージがプロトコルに参加するものの真の情報を含んでぃるがについては何の保証も与えられない。ゲーム理論におけるメカニズムデザインでは、そのメカニズムに参加するプレイヤーの送るメッセージが、真の情報を含むものであることを保証するようなメカニズムを構築することを目標としているが、このメカニズムは参加するプレイヤーがすべて合理的であること、すなわち多項式時間Turing Machine以上の計算能力を持っていることを前提としている。本論文では、こうした異なる目的を持つプロトコルデザインとメカニズムデザインの成果を互いに補間しあうことにより、よりよい取り引きメカニズムを開発し得るということを主張する。具体的には、公開鍵交換におけるユーザー認証の問題と、鍵共有プロトコルを用いたマルチパーティプロトコルを取り上げる。We insists that there is a complementary relation between designing secure protocols using cryptgraphy and designing incentive compatible mechanism using game theory when we aim to build secure and incentive compatible protocols. Using the main results of protocol design, we can build secure message transaction protocols in which all players cannot break other person's secret under some computational constraint, but we have no ways of forcing players to reveal their real information by means of these protocols or give players incentive to reveal their real information. On the other hand, using the main result of game theory we can build incentive compatible mechanism in which all players should reveal their real information, but this machanism require all players to be rational or to have computation power more than Turing Machine has. We show that collaborations between protocol design and machanism design in game theory is beneficial for both research field and can build more secure and incentive compatible transaction machanism. In this paper, we consider user authentification problem in exchanging publickey and multiparty protocol using secret sharing to show needs for collaborations between cryptgraphy and game theory.