[論文レビュー] Converses for Secret Key Agreement and Secure Computing

Himanshu Tyagi, Shun Watanabe|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|Apr 23, 2014

Wireless Communication Security Techniques参考文献 57被引用数 5

ひとこと要約

本稿では、秘密鍵生成から二項仮説検定への新しい還元を用いて、複数参加者の秘密鍵（SK）合意および情報漏洩防止計算のシングルショット逆問題境界を提示する。主な貢献は、敵対者による傍受情報が与えられたもとで参加者の観測が条件付き独立になるようにする分布との統計的距離に基づき、最大SK長を上界で制限する条件付き独立性検定境界を確立したことである。これは、インタラクティブな公開通信を伴うSK合意および安全関数計算の両分野において、先行研究を改善するものである。

ABSTRACT

We consider information theoretic secret key agreement and secure function computation by multiple parties observing correlated data, with access to an interactive public communication channel. Our main result is an upper bound on the secret key length, which is derived using a reduction of binary hypothesis testing to multiparty secret key agreement. Building on this basic result, we derive new converses for multiparty secret key agreement. Furthermore, we derive converse results for the oblivious transfer problem and the bit commitment problem by relating them to secret key agreement. Finally, we derive a necessary condition for the feasibility of secure computation by trusted parties that seek to compute a function of their collective data, using an interactive public communication that by itself does not give away the value of the function. In many cases, we strengthen and improve upon previously known converse bounds. Our results are single-shot and use only the given joint distribution of the correlated observations. For the case when the correlated observations consist of independent and identically distributed (in time) sequences, we derive strong versions of previously known converses.

研究の動機と目的

• 独立同分布の系列を仮定しない、相関観測の連合分布のみを用いた、複数参加者向け秘密鍵合意のタイトな逆問題境界を導出すること。
• 秘密鍵合意と二項仮説検定の構造的関係を確立し、秘密鍵容量の新たな上界を可能にすること。
• オブリビous transferおよびビットコミットメントを含む安全な二パーティ計算にこの枠組みを拡張し、これらの問題を秘密鍵合意に還元すること。
• 関数値の漏洩を防ぐ公開でインタラクティブな通信のみを用いた信頼できる参加者による安全計算の実現可能性の必要条件を提供すること。
• 特に独立同分布および有限長設定において、既知の逆問題境界を強化・一般化すること。

提案手法

• 参加者間の秘密鍵合意を二項仮説検定に還元する手法を開発し、最適な型II誤り確率を、連合分布と積分布との統計的距離の代理として用いる。
• コアとなる境界は、条件付き独立性検定フレームワークを用いて導出され、秘密鍵長の上界は、真の連合分布と、敵対者側情報が与えられたもとで参加者の観測が条件付き独立になるようにする分布との距離に依存する。
• インタラクティブな公開通信を扱えるため、参加者が複数ラウンドのメッセージを交換する現実的な暗号プロトコルに適している。
• オブリビous transferおよびビットコミットメントを秘密鍵合意に還元し、その後主定理を適用することで、安全計算問題へとアプローチを拡張する。
• 独立同分布の系列では、シングルショット境界が強力な逆問題結果を示し、既知のケースで第二階層漸近的挙動と一致することを示す。
• フレームワークは一般性に富み、仮説検定における基準分布Qの任意の選択を許容するため、応用の柔軟性を提供する。

実験結果

リサーチクエスチョン

• RQ1 敵対者が傍受情報にアクセス可能で、公開通信が存在する状況下で、相関観測から生成可能な秘密鍵の最大長は何か？
• RQ2 独立同分布の系列を仮定しない状況で、観測の連合分布のみを用いて、秘密鍵合意の効率をどのように上界で制限できるか？
• RQ3 安全関数計算の問題を秘密鍵合意に還元できるか？また、この還元から得られる逆問題境界は何か？
• RQ4 安全送信プロトコルにおける、秘匿パrameter ε と δ と必要な秘密鍵長の間のトレードオフは何か？
• RQ5 導出された逆問題境界は、独立同分布および有限長設定において、既知の結果とどのように比較できるか？

主な発見

• 二パーティ設定における最大秘密鍵長 Sε(X₁,X₂) は、−log βε+η(PX₁X₂ || PX₁×PX₂) + 2log(1/η) で上界で制限され、β は二項仮説検定における最適型II誤り確率である。
• 複数参加者設定では、主たる結果として、真の連合分布と、敵対者側情報が与えられたもとで参加者の観測が条件付き独立になるようにする分布との距離を測る条件付き独立性検定境界が得られる。
• このフレームワークにより、オブリビous transferおよびビットコミットメントに対する新たな逆問題境界が得られ、これらの問題が秘密鍵合意に還元され、主定理が適用された。
• 独立同分布の場合、導出された境界はタイトであり、既知の第二階層漸近的結果（秘密鍵容量）を回復する。
• パrameter ε と δ を用いたメッセージMの安全送信のための必要条件は、特定のξに対して κ ≥ Hmin^ξ(PY) − O(1) が成り立つことである。κ と ε+δ の間にはトレードオフがある。
• この手法は秘匿性を越えて、データ交換およびプロトコルシミュレーションの通信複雑度に対する下界を導出可能であり、より広範な適用可能性を示している。