不正を許さないサーバレスネットワークゲーム

物理的に離れた場所にいるプレイヤがネットワーク上で対戦ゲームを行う環境構築の基盤を作ることが本研究の目標である。信頼できるサーバを用意することにより容易に実現できるが、サーバ自身の不正やサーバの負荷を考え、サーバなしのいわゆるpeer-to-peer型の環境を対象とする。そのような条件下で、対戦相手の不正を如何に防御するかを考察するのが、本研究の目的である。これまでの研究において、順序機械を用いてゲームを形式的に定義し、その定式化の汎用性を示すとともに、具体的ゲーム(軍人将棋)に対して計算量の削減を行いJaval.4を使って実装した。本年度は、その関連研究として、プライバシーを確保したまま二者間で情報をやりとりし、所望の計算結果(主に認証、認可)を得るためのプロトコルの研究を行った。本研究では、基盤となる認証体系としてShibbolethを仮定し、その上で「マジックプロトコル」と呼ばれる暗号技術を利用して所望のプロトコルを実現する方法を提案した。以下に例を2つ挙げる。例えば、年齢制限のあるWebコンテンツの閲覧の為には、利用者は制限年齢より上であることを証明すれば良く、自分の年齢そのものはできるだけ公開したくない。また、サービス提供側も、年齢制限がどこにあるのかを公開したくない場合がある。このような状況で、お互いに自分の秘密情報を公開しないまま、結果となる判定だけは正しく行いたいという要求が生じるが、これを、Yaoの金持ち比べプロトコル(2人の参加者が、自分の所持金を相手に知らせずに、どちらが金持ちかを正しく判定するプロトコル)を用いて解決した。また、例えば、会社の採用の条件として、大学時代に科目Aの単位を取得しているという条件を課している場合、会社はそれがどの科目であるかを明かさずに、また、大学側は、その科目A以外の単位取得状況は知らせずに、学生が科目Aの単位を取得しているか否かのみを、会社が知るという要求が考えられる。この問題は、紛失通信というプロトコルを応用することにより解決した。

物理的に離れた場所にいるプレイヤがネットワーク上で対戦ゲームを行う環境構築の基盤を作ることが本研究の目標である。信頼できるサーバを用意することにより容易に実現できるが、サーバ自身の不正やサーバの負荷を考え、サーバなしのいわゆるpeer-to-peer型の環境を対象とする。そのような条件下で、対戦相手の不正を如何に防御するかを考察するのが、本研究の目的である。これまでの研究において、順序機械を用いてゲームを形式的に定義し、その定式化の汎用性を示すとともに、具体的ゲーム(軍人将棋)に対して計算量の削減を行いJaval.4を使って実装した。本年度は、その関連研究として、プライバシーを確保したまま二者間で情報をやりとりし、所望の計算結果(主に認証、認可)を得るためのプロトコルの研究を行った。本研究では、基盤となる認証体系としてShibbolethを仮定し、その上で「マジックプロトコル」と呼ばれる暗号技術を利用して所望のプロトコルを実現する方法を提案した。以下に例を2つ挙げる。例えば、年齢制限のあるWebコンテンツの閲覧の為には、利用者は制限年齢より上であることを証明すれば良く、自分の年齢そのものはできるだけ公開したくない。また、サービス提供側も、年齢制限がどこにあるのかを公開したくない場合がある。このような状況で、お互いに自分の秘密情報を公開しないまま、結果となる判定だけは正しく行いたいという要求が生じるが、これを、Yaoの金持ち比べプロトコル(2人の参加者が、自分の所持金を相手に知らせずに、どちらが金持ちかを正しく判定するプロトコル)を用いて解決した。また、例えば、会社の採用の条件として、大学時代に科目Aの単位を取得しているという条件を課している場合、会社はそれがどの科目であるかを明かさずに、また、大学側は、その科目A以外の単位取得状況は知らせずに、学生が科目Aの単位を取得しているか否かのみを、会社が知るという要求が考えられる。この問題は、紛失通信というプロトコルを応用することにより解決した。