[論文レビュー] On the Eavesdropper's Correct Decision in Gaussian and Fading Wiretap Channels Using Lattice Codes

Anne-Maria Ernvall-Hytönen, Camilla Hollanti|arXiv (Cornell University)|Jun 14, 2011

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

ひとこと要約

本稿は、偶数ユニモジュラー極大格子の情報漏洩関数が y=1 でピークに達することを証明し、ガウス的ワイヤートラップチャネルにおける最適な情報漏洩性能を確認した。フェージングチャネルでは、正当ユーザーの性能を緩和することで盗聴者に対する混乱度が向上する性能-秘密性-複雑性のトレードオフを明らかにした。歪んだ格子は、より高い複雑性を犠牲にして、より高いセキュリティを提供する。

ABSTRACT

In this paper, the probability of Eve the Eavesdropper's correct decision is considered both in the Gaussian and Rayleigh fading wiretap channels when using lattice codes for the transmission. First, it is proved that the secrecy function determining Eve's performance attains its maximum at y=1 on all known extremal even unimodular lattices. This is a special case of a conjecture by Belfiore and Solé. Further, a very simple method to verify or disprove the conjecture on any given unimodular lattice is given. Second, preliminary analysis on the behavior of Eve's probability of correct decision in the fast fading wiretap channel is provided. More specifically, we compute the truncated inverse norm power sum factors in Eve's probability expression. The analysis reveals a performance-secrecy-complexity tradeoff: relaxing on the legitimate user's performance can significantly increase the security of transmission. The confusion experienced by the eavesdropper may be further increased by using skewed lattices, but at the cost of increased complexity.

研究の動機と目的

• 既知の偶数ユニモジュラー極大格子に対して、ベルフィオール＝ソレの予想である情報漏洩関数の最大値が y=1 に達することを検証すること。
• 任意のユニモジュラー格子に対して、この予想を検証または反証する一般的手法を構築すること。
• ラティス符号を用いたレイリーフェージングワイヤートラップチャネルにおけるエヴィの正しい判断確率を分析すること。
• フェージング環境下での正当ユーザーの性能、盗聴者に対する混乱度、符号化の複雑性の間のトレードオフを評価すること。
• エネルギー制約下での直交格子と歪んだ格子の構成法を、秘密性およびエネルギー分布の観点から比較すること。

提案手法

• ラティスのシータ関数解析を用いて、すべての既知の偶数ユニモジュラー極大格子に対して、情報漏洩関数 ΞΛ(y) = Θℤⁿ(yi)/ΘΛ(yi) が y=1 で最大値に達することを証明した。
• 実数の正の範囲 y ∈ ℝ⁺ における情報漏洩関数の評価により、任意の与えられたユニモジュラー格子に対してこの予想を検証する一般的な計算手法を提案した。
• フェージングワイヤートラップチャネルに使用するため、代数的数体 K 及びその整数環 𝒪K、またはそのイデアル ℐ ⊆ 𝒪K から明示的なラティス符号を構築した。
• エヴィの正しい判断確率の式における逆ノルムの累乗和要因を切り詰めて計算し、彼女の正しい判断確率を推定した。
• 格子を単位体積に正規化し、正規化された最小積距離を比較することで、公平な性能評価を実施した。
• 全実数体から導かれる4次元格子を用いた数値解析により、レイリーフェージング下での秘密性を評価した。

実験結果

リサーチクエスチョン

• RQ1 偶数ユニモジュラー極大格子の情報漏洩関数は、ベルフィオールとソレが予想したように y=1 で最大値に達するか？
• RQ2 任意のユニモジュラー格子に対して、ベルフィオール＝ソレの予想を検証または反証する一般的手法を構築できるか？
• RQ3 ラティス符号を用いたレイリーフェージングワイヤートラップチャネルにおいて、エヴィの正しい判断確率はどのように振る舞うか？
• RQ4 格子の形状（直交的 vs. 歪んだ）が盗聴者に対する混乱度とシステムの複雑性に与える影響は何か？
• RQ5 正当ユーザーの制約を緩和した場合、フェージングワイヤートラップチャネルにおいて性能-秘密性-複雑性のトレードオフが生じるか？

主な発見

• すべての既知の偶数ユニモジュラー極大格子に対して、情報漏洩関数が y=1 で最大値に達することを確認し、ベルフィオール＝ソレの予想がこれらのケースで正当化された。
• 実数の情報漏洩関数の数値評価により、任意のユニモジュラー格子に対してこの予想を検証または反証する一般的手法が提供された。
• レイリーフェージングチャネルでは、正当ユーザーの性能制約を緩和することで、盗聴者に対する混乱度が顕著に向上し、セキュリティが強化された。
• 歪んだ格子は直交格子よりもさらに盗聴者に対する混乱度を高めるが、符号化および復号の複雑性が高くなるという代償を伴う。
• エネルギー制限が与えられた場合、m が十分に大きいとき、歪んだ格子は直交格子よりも優れたエネルギー分布を達成する。これは表IIで示されている。
• 逆ノルム累乗和要因 Sₘ(Pₗᵢₘ, m) は m とともに増加し、m=20 の歪んだ格子では最大で 2.407×10⁷ に達し、エヴィに対する混乱度が強化されていることを示している。