[論文レビュー] Incremental and Decremental Secret Key Agreement

Chung Chan, Ali Al-Bashabsheh+1 more|arXiv (Cornell University)|May 6, 2016

Wireless Communication Security Techniques参考文献 21被引用数 3

ひとこと要約

本稿は、マルチターミナル秘密鍵協調における2つの新しい問題、増分的（ISKA）および減分的（DSKA）秘密鍵協調を導入し、共通ランダムネスの追加または削除が機密性容量に与える影響を分析する。共通ランダムネスの追加による容量増加のためのキーチャートセットは、サブモジュラー関数最小化を用いて強多項式時間で計算可能であることが示され、また、キーチャートエッジ全体で均一な増加レートであると仮説を立てている。

ABSTRACT

We study the rate of change of the multivariate mutual information among a set of random variables when some common randomness is added to or removed from a subset. This is formulated more precisely as two new multiterminal secret key agreement problems which ask how one can increase the secrecy capacity efficiently by adding common randomness to a small subset of users, and how one can simplify the source model by removing redundant common randomness that does not contribute to the secrecy capacity. The combinatorial structure has been clarified along with some meaningful open problems.

研究の動機と目的

• 一部のユーザーに共通ランダムネスを追加することで、機密性容量がどのように増加するかを効率的にモデル化すること。
• 機密性容量を低下させずに削除可能な余分な共通ランダムネスを特定すること。
• マルチターミナル秘密鍵協調における最適な分割とキーチャートセットの組合せ的構造を特徴づけること。
• 強多項式時間でキーチャートセットと最適な分割を計算するためのアルゴリズムを開発すること。

提案手法

• マルチ変数相互情報量（MMI）に関する最適化問題として、増分的および減分的秘密鍵協調を定式化する。
• 機密性容量として、$ \t{P} \notin \t{P}'(V) $ における分割最小化によって定義される多変量相互情報量 $ I(\t{Z}_V) $ を使用する。
• 最大のゼロ集合およびキーチャートセット $ \t{S}_{\t{crit}}(\t{Z}_V) $ を特徴付けるために、ゼロシングルトンサブモジュラー関数 $ g $ を導入し、効率的な計算を可能にする。
• ラティス族におけるサブモジュラー関数最小化を適用し、$ O(|V|^2) $ ステップで基本的分割とキーチャートセットを計算する。
• 関数 $ g $ のゼロ集合の族 $ \t{Z}(g) $ が、$ \t{P}^*(\t{Z}_V) $ の最大集合を完全に特徴づけることを確立し、構造と容量を結びつける。
• キーチャートセット $ \t{S}_{\t{crit}}(\t{Z}_V) $ が強多項式時間で計算可能であることを証明し、また、キーチャートエッジ全体で均一な増加レートであると仮説を立てる。

実験結果

リサーチクエスチョン

• RQ1 マルチターミナル秘密鍵協調において、一部のユーザーに共通ランダムネスを追加すると、機密性容量はどのように変化するか？
• RQ2 どの共通ランダムネスが余分であり、容量を低下させずに削除可能か？
• RQ3 容量増加を最大化するキーチャートセットは、効率的に計算可能か？
• RQ4 MMIフレームワークにおける最適な分割と最大集合の組合せ的構造は何か？
• RQ5 すべてのキーチャートエッジにおいて、機密性容量の増加レートは均一か？

主な発見

• 増分的秘密鍵協調（ISKA）問題は、最小限の共通ランダムネス追加で機密性容量の増加を最大化するように定式化されている。
• 減分的秘密鍵協調（DSKA）問題は、容量を低下させずに削除可能な余分な共通ランダムネスを特定する。
• 最大の容量増加を決定づけるキーチャートセット $ \t{S}_{\t{crit}}(\t{Z}_V) $ は、強多項式時間で計算可能である。
• サブモジュラー関数 $ g $ から導かれる最大ゼロ集合の族 $ \t{Z}(g) $ は、最適な分割の構造を完全に特徴づける。
• 最適な分割 $ \t{P}^*(\t{Z}_V) $ と機密性容量 $ I(\t{Z}_V) $ は、$ O(|V|^2) $ 回のサブモジュラー関数最小化で計算可能である。
• 本稿では、すべてのキーチャートエッジ $ S \to \t{S}_{\t{crit}}(\t{Z}_V) $ が同じ増加レート $ r_S^+ = \frac{|S|-1}{|\t{P}^*(\t{Z}_V)|-1} $ を示すと仮説を立てる。