[論文レビュー] When is a Function Securely Computable?

Himanshu Tyagi, Prakash Narayan+1 more|arXiv (Cornell University)|Jul 17, 2010

Wireless Communication Security Techniques参考文献 14被引用数 6

ひとこと要約

本稿では、関数 g が相関する信号を観測する端末の部分集合によって安全に計算可能であるための必要十分条件を確立している。その条件は、g のエントロピーが関連する機密性生成モデルの支援付き秘密鍵（ASK）容量未満であること、かつその ASK 容量の単一記号形特徴付けが与えられることである。H(g) < C が成り立つ場合、公開通信を監視する盗聴者に対して関数の値が情報理論的に隠蔽される安全な計算プロトコルが存在することを示している。

ABSTRACT

A subset of a set of terminals that observe correlated signals seek to compute a given function of the signals using public communication. It is required that the value of the function be kept secret from an eavesdropper with access to the communication. We show that the function is securely computable if and only if its entropy is less than the "aided secret key" capacity of an associated secrecy generation model, for which a single-letter characterization is provided.

研究の動機と目的

• 相関する信号を観測する端末の部分集合によって関数が安全に計算可能であるための必要十分条件を特定すること。
• 公開通信を伴うマルチ端末情報源モデルにおける安全な関数計算と秘密鍵生成の間の関係を確立すること。
• 支援付き秘密鍵（ASK）容量を、安全計算の基本的限界として導入し、特徴づけること。
• 関数の安全な計算可能性が、関数のエントロピーが ASK 容量よりも厳密に小さい場合に限り成立することを示すこと。
• 安全に計算された関数に残余の秘密共通ランダムネスを追加することで、端末全体に対して最適な秘密鍵を構築できることを示すこと。

提案手法

• 公開通信を用いた安全な関数計算のための新しいシャノン理論的マルチ端末情報源モデルを定式化すること。
• 『支援付き秘密鍵』（ASK）の概念を導入し、補集合 Ac に属する端末が関数値（側情報）を受信することで、鍵の回復を支援することを特徴とする。
• 端末の観測値の最大共通関数の概念と情報理論的不等式を用いて、ASK 容量を単一記号形で特徴づけること。
• 条件付き分布の確率的集中を扱うために、バランスの取れた彩色補題を適用すること。
• 高確率事象における条件付き確率の乖離を制限するために、確率変数 U と U' のカップリング論法を用いること。
• 確率的技法を用いて、ランダムな彩色関数が高確率で所定の一様性条件を満たすことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 関数 g が、相関する信号を観測する端末の部分集合 A によって安全に計算可能となる条件は何か？
• RQ2 特定の端末に側情報を提供する場合、生成可能な秘密共通ランダムネスのレートの根本的限界は何か？
• RQ3 安全な関数計算と関連する機密性生成モデルの秘密鍵容量との関係は何か？
• RQ4 関数のエントロピーがその安全な計算可能性の十分条件として機能できるか？
• RQ5 残余の秘密共通ランダムネスは、安全に計算された関数を最適な秘密鍵に拡張するために果たす役割は何か？

主な発見

• 関数 g が部分集合 A によって安全に計算可能であるための必要十分条件は、g のエントロピー H(g) が関連する機密性生成モデルの支援付き秘密鍵（ASK）容量 C よりも厳密に小さいことである。
• ASK 容量 C は、端末の観測値の最大共通関数に基づく単一記号形特徴付けを有する。
• H(g) < C が成り立つ場合、端末 A が g を計算しつつ、盗聴者が公開通信を監視してもその値が情報理論的に隠蔽される公開通信プロトコルが存在する。
• g の安全な計算は、g のエントロピーに等しいレートを持つ、全端末集合 M に対する秘密鍵を生成するように拡張可能であり、これには残余の秘密共通ランダムネスが追加される。
• 解析により、ランダムな彩色関数が条件付き分布の一様性を達成する失敗確率が、関連するパrameter に関して指数的に小さくなることが示された。
• 証明技法は、高確率で一致する2つの確率変数間の乖離を扱う、洗練されたバランスの取れた彩色補題に依存している。