秘匿共通集合計算プロトコル
秘匿共通集合計算プロトコル(ひとくきょうつうしゅうごうけいさんプロトコル、Secure Set-Intersection Protocol)では、二人のユーザがそれぞれ秘密の集合を保持しており、お互いにその情報を漏らすことなく、それらの共通集合のみを得ることが可能である。 この方式は、Freedman、Nissim、Pinkasらにより、Eurocrypt2004で発表[1]され、国家間でのテロリストリストの共有などといった多種多様な応用範囲を持つ。
基本的アイデア
編集二人の参加者サーバとクライアントがいるものとする。彼らは、それぞれ秘密の情報である集合 と を保持しており、お互いにそれらを漏らすことなく、 のみを 計算したい。 この方式を実現するために有用となるのは、集合を多項式で表現すること、そして、準同型暗号を利用することである。 ここで利用する準同型暗号には、 と を与えられたときに、 を計算できる性質を有することとする。また、この性質を利用すれば、 と から、 を計算できることにも注意する。
方式の構成
編集- クライアントは、準同型暗号の公開鍵・秘密鍵対 を生成し、公開鍵のみを公開する。続けて、 に対して、 を計算する。それら係数を暗号化して、サーバにおくる。
- サーバは、準同型性を利用して、全ての に対して、 の暗号文を計算する。ここで は乱数であり、各 に対して異なるものを選ぶ。
- クライアントは全ての暗号文を復号し、復号したものが に含まれているならば、その値を出力する。
方式の安全性
編集この方式は、利用する準同型暗号がIND-CPAを満たしていれば semi-honestのサーバとクライアントに対して安全であることが示される。
一般化
編集KisserとSongは, Crypto2005において、二人参加型ではなく多人数が参加できる秘匿共通集合計算プロトコルを提案した。また、上記方式は、共通集合しか計算できないが、任意の関数に対して上記のような方式を実現するフレームワーク(Garbled Circuit)が、Andrew Yaoにより提案されている。
参考文献
編集- ^ Michael J. Freedman, Kobbi Nissim, Benny Pinkas: Efficient Private Matching and Set Intersection. EUROCRYPT 2004: 1-19