[論文レビュー] A secure additive protocol for card players

Andrés Cordón–Franco, Hans van Ditmarsch+3 more|arXiv (Cornell University)|Nov 1, 2011

graph theory and CDMA systems参考文献 11被引用数 13

ひとこと要約

本稿では、3人のカードプレーヤー（アリス、ボブ、キャス）に対して、安全な加法的プロトコルを提案する。アリスとボブは、慎重に選ばれた素数を法として、自分のカードの合計を公開して発表でき、これによりキャスに対して個々のカードを漏らさずに完全なカード情報の交換が可能になる。主な結果は、アリスとボブがそれぞれ2枚以上のカードを保有し、キャスが正確に1枚のカードを保有する場合、このプロトコルは安全かつ情報的であるが、(4,3,1)および(3,4,1)という特定のケースを除く。

ABSTRACT

Consider three players Alice, Bob and Cath who hold a, b and c cards, respectively, from a deck of d=a+b+c cards. The cards are all different and players only know their own cards. Suppose Alice and Bob wish to communicate their cards to each other without Cath learning whether Alice or Bob holds a specific card. Considering the cards as consecutive natural numbers 0,1,..., we investigate general conditions for when Alice or Bob can safely announce the sum of the cards they hold modulo an appropriately chosen integer. We demonstrate that this holds whenever a,b>2 and c=1. Because Cath holds a single card, this also implies that Alice and Bob will learn the card deal from the other player's announcement.

研究の動機と目的

• アリスとボブが、キャスに対して個々のカード所有権を漏らさずに、自分のカードの完全な手札を安全に交換できる公開通信プロトコルを開発すること。
• キャスが1枚のカードしか保有しない場合に、このようなプロトコルが安全に保たれる手札サイズの一般条件（a,b,c）を同定すること。
• 合計デッキサイズd=a+b+cに等しいかそれ以上の最小の素数を法とする和の発表が、(a,b,1)の場合に安全かつ情報的であることを示すこと。
• 標準プロトコルが失敗する特殊ケース（4,3,1）および（3,4,1）を解消し、代替のモジュロプロトコルが依然として安全であることを示すこと。
• 代数的および組合せ的数論に基づいた、絶対的（unconditional）に安全な情報交換プロトコルの基盤を確立すること。

提案手法

• プロトコルは、各プレーヤーのカードの合計を、d = a + b + c に等しいかそれ以上の素数pを法として公開発表する。
• pの選定は、dに等しいかそれ以上の最小の素数であり、これにより和のモジュロpが十分な情報を保持しつつ、キャスへの漏洩を最小限に抑える。
• 安全性は、特にℤ/dℤにおける部分集合和の数の上限を用いた組合せ的数論により確立され、エレドシュ＝ヘイルブルン予想（ディアス・ダ・シルバとアミドゥーヌにより証明済み）を応用する。
• 証明は、与えられたpを法とする和と整合する可能性のある手札の数が十分に多く、キャスが個々のカード所有権を特定できないことを確認することに依存する。
• dが素数でない場合、プロトコルはdより大きい最小の素数pを使用し、ベルトランの補題およびナグラの定理を用いてpの大きさを制限し、安全性の条件を満たすことを保証する。
• 特殊ケース（4,3,1）および（3,4,1）は、Haskellを用いた計算的分析により検証され、標準プロトコルが失敗することを確認したが、変更版（DModSum）は依然として安全であることが示された。

実験結果

リサーチクエスチョン

• RQ1 （a,b,c）のどの条件下で、アリスとボブは、素数を法とするカードの合計を発表することで、キャスに対して個々のカード所有権を漏らさずに安全に保てるか？
• RQ2 アリスとボブが互いの和の発表から完全なカード配分を学習できるが、キャスがいかなる個々のカードについても知らないようなプロトコルを設計可能か？
• RQ3 なぜ標準のモジュロ和プロトコルは（4,3,1）および（3,4,1）で失敗するのか？そして、代替プロトコルがこれらのケースで安全性を回復できるか？
• RQ4 ベルトランの補題やナグラの定理といった数論的結果は、安全で効率的なプロトコルの構築にどのように寄与するか？
• RQ5 提案されたプロトコルは、キャスが1枚以上のカードを保有する場合に一般化可能か？

主な発見

• 標準の最小素数モジュロ和プロトコルが失敗する（4,3,1）および（3,4,1）を除き、すべての（a,b,1）についてa,b > 2のとき、プロトコルは安全かつ情報的である。
• a,b > 2の（a,b,1）の場合、dに等しいかそれ以上の最小の素数pを法とする和の発表により、キャスはアリスまたはボブが特定のカードを保有しているかどうかを特定できない。
• （a,b,1）の場合、キャスが1枚のカードしか保有しないことと、モジュロpの和の情報的性質のおかげで、アリスとボブは互いの発表から完全なカード配分を再構成できる。
• （3,3,1）のケースは、7-ModSumプロトコルの特殊例であり、これは安全であることが知られており、かつてモスクワ数学オリンピックで登場した。
• （4,3,1）および（3,4,1）の場合、最小素数モジュロ和プロトコルは不安全であるが、DModSumプロトコル（それぞれ8および11を法として使用）は、計算的検証により依然として安全である。
• ナグラの定理およびベルトランの補題は、プロトコルで使用される素数pの大きさを制限する上で中心的な役割を果たし、aとbが十分に大きい場合に、安全性条件ab - 2a - b - c + 1 ≥ 0 が満たされることを保証する。