証明可能安全なＨａｓｈ関数とゲーム理論に基づいた暗号プロトコルの設計論

点击翻译按钮获取中文摘要

2週間に一回程度の頻度で,文献調査の内容を報告してもらいながら,次の観点で,既存技術の安全性評価を行った。安全なHash関数を設計するためには,Hash関数の安全性を見極める必要があると共に,暗号プロトコルでのHash関数の利用方法についても理解を深める必要があるので,具体例について,安全性の検討き深めた。2011年に発表された「Reset Indifferentiability」を調べた。従来,議論されてきた安全性では,複数のプロトコルが同時に走行する場合に安全性の問題が生じる。新概念は,この問題点を解決するものである。効率的なHash関数の設計論として,2倍長の内部変数を,多項式を用いて安全性を保証しつつ実現する手法を調査した。暗号プロトコルでは文献で提案されている「First-Price Auction(第一価格オークション)」の安全性を検討した。このプロトコルに安全性の問題があることを発見した。2010年に発表された「Threat-free Nash Equilibrium」を調べた。従来,議論されていたNash Equilibrium(Nash均衡)は,連続するゲームに適用することができないので暗号プロトコルとしては安全性が不十分である,新概念は,この問題点を解決するものなので,ゲーム理論に基づいた暗号プロトコルの設計論にとって重要な進展である。