[論文レビュー] Secrecy and Robustness for Active Attack in Secure Network Coding and its Application to Network Quantum Key Distribution

Masahito Hayashi, Masaki Owari+2 more|arXiv (Cornell University)|Mar 2, 2017

Cooperative Communication and Network Coding参考文献 39被引用数 3

ひとこと要約

この論文は、ノイズを注入して伝送を監視する能動的盗聴者に対して、線形ネットワークコーディングが利点を提供しないことを確立しており、このような攻撃が受動的盗聴を超える情報漏洩を改善できないことを証明している。さらに、機密性と耐障害性の制約下で、漸近的レートが $ m_0 - m_1 - m_2 $ に達する安全なネットワークコーディングプロトコルの存在を示し、これらの結果を応用して信頼できる中間ノードを介したネットワーク量子鍵配送を用いた長距離通信を可能にしている。

ABSTRACT

In network coding, we discuss the effect of sequential error injection on information leakage. We show that there is no improvement when the operations in the network are linear operations. However, when the operations in the network contains non-linear operations, we find a counterexample to improve Eve's obtained information. Furthermore, we discuss the asymptotic rate in a linear network under the secrecy and robustness conditions as well as under the secrecy condition alone. Finally, we apply our results to network quantum key distribution, which clarifies the type of network that enables us to realize secure long distance communication via short distance quantum key distribution.

研究の動機と目的

• ネットワークコーディングにおける逐次的能動的攻撃（同時に盗聴とノイズ注入）が情報漏洩に与える影響を分析すること。
• ネットワーク内での非線形演算が、受動的盗聴と比較して盗聴者の情報獲得を向上させ得るかどうかを特定すること。
• 能動的攻撃モデル下での安全かつ耐障害性のあるネットワークコーディングの漸近的達成可能レートを確立すること。
• 理論的知見をネットワーク量子鍵配送（QKD）に応用し、短距離QKDリンクを用いた長距離安全通信を可能にすること。

提案手法

• 線形代数と有限体理論を用いて、ノイズおよび盗聴の存在下でのネットワークコーディング演算をモデル化し、核と像の関係を分析する。
• 大きな有限体 $ \mathbb{F}_{q'} $ 上での普遍ハッシュ法と確率的境界を適用し、盗聴成功確率が体サイズに従って指数関数的に減少することを示す。
• 核と像の交差を含む条件（F1’）を導入し、その十分性を可逆変換を用いて証明することで、機密性と耐障害性を両立させる。
• 構成的アプローチを用いて、機密性と耐障害性の両立下でレート $ m_0 - m_1 - m_2 $ のコードの存在を示し、耐障害性が不要で機密性のみが要求される場合、レート $ m_0 - m_2 $ のコードの存在を示す。
• 1ホップリレーネットワークモデルを分析し、相互情報量 $ I(M;Y_1,Y_3) $ と $ \ell_1 $-距離 $ d_1(M|Y_1,Y_3) $ を計算し、特定のチャネル出力に対して $ I = 1/2 $ および $ d_1 = 1/2 $ であることを示している。
• 対称性と代入（例：$ M \to M+1 $ の置換）を用いて、他のチャネルペアに対しても結果を拡張し、ネットワーク構成にかかわらず一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ノイズを注入して伝送を監視する能動的盗聴者が、線形ネットワークコーディングシステムにおいて受動的盗聴者よりも情報量を増やせるか。
• RQ2 ネットワークコーディングに非線形演算を含めることで、能動的攻撃者が受動的盗聴を超える情報獲得を達成できるか。
• RQ3 能動的攻撃者がレート $ m_1 $ でノイズを注入し、レート $ m_2 $ で情報を漏洩させる状況下で、安全かつ耐障害性のあるネットワークコーディングの漸近的達成可能レートは何か。
• RQ4 安全なネットワークコーディングに関する理論的知見を、短距離QKDリンクを用いた長距離量子鍵配送にどのように応用できるか。

主な発見

• 線形ネットワークでは、ノイズ注入に対する線形演算の不変性のため、能動的攻撃戦略が受動的盗聴を超える情報漏洩を改善できない。
• 非線形ネットワークでは、能動的攻撃が敵の情報漏洩を実際に増加させることを示す反例が構築された。
• 機密性と耐障害性の両立が求められる状況下で、体サイズ $ q' $ が十分に大きい場合には、漸近的レート $ m_0 - m_1 - m_2 $ の安全なネットワークコーディングプロトコルが存在する。
• 耐障害性が不要で機密性のみが要求される場合、達成可能レートは $ m_0 - m_2 $ に向上し、公開チャネルフィードバックを有するQKDベースのネットワークに有用である。
• 機密性と耐障害性のためのキーチェック条件（F1’）を満たす確率は $ 1 - O(q'^{-m_0 + m_7 - 1}) $ であり、$ q' \to \infty $ のとき1に近づくため、高い信頼性が保証される。
• 従来のリストデコーディングに依存しない方法に比べ、必要な体次元 $ m = m_0 + 1 $ が小さく抑えられており、より効率的な構成が可能である。