論文の概要: The Inevitability of Side-Channel Leakage in Encrypted Traffic
- arxiv url: http://arxiv.org/abs/2602.14055v1
- Date: Sun, 15 Feb 2026 08:55:19 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-17 14:17:28.630827
- Title: The Inevitability of Side-Channel Leakage in Encrypted Traffic
- Title(参考訳): 暗号化トラフィックにおけるサイドチャネルリークの回避可能性
- Authors: Guangjie Liu, Guang Chen, Weiwei Liu,
- Abstract要約: 効率優先のシステムでは、少なくとも1つのアプリケーションペアが識別可能である場合、リークは避けられないことを示す。
これにより、暗号化されたトラフィックサイドチャネルのための厳密な情報理論の基礎が確立される。
- 参考スコア(独自算出の注目度): 18.365496056967917
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The widespread adoption of TLS 1.3 and QUIC has rendered payload content invisible, shifting traffic analysis toward side-channel features. However, rigorous justification for why side-channel leakage is inevitable in encrypted communications has been lacking. This paper establishes a strict foundation from information theory by constructing a formal model \(Σ=(Γ,Ω)\), where \(Γ=(A,Π,Φ,N)\) describes the causal chain of application generation, protocol encapsulation, encryption transformation, and network transmission, while \(Ω\) characterizes observation capabilities. Based on composite channel structure, data processing inequality, and Lipschitz statistics propagation, we propose and prove the Side-Channel Existence Theorem: for distinguishable semantic pairs, under conditions including mapping non-degeneracy (\(\mathbb{E}[d(z_P,z_N)\mid X]\le C\)), protocol-layer distinguishability (expectation difference \(\ge\barΔ\)), Lipschitz continuity, observation non-degeneracy (\(ρ>0\)), and propagation condition (\(C<\barΔ/2L_\varphi\)), the mutual information \(I(X;Y)\) is strictly positive with explicit lower bound. The corollary shows that in efficiency-prioritized systems, leakage is inevitable when at least one application pair is distinguishable. Three factors determine the boundary: non-degeneracy constant \(C\) constrained by efficiency, distinguishability \(\barΔ\) from application diversity, and \(ρ\) from analyst capabilities. This establishes the first rigorous information-theoretic foundation for encrypted traffic side channels, providing verifiable predictions for attack feasibility, quantifiable benchmarks for defenses, and mathematical basis for efficiency-privacy tradeoffs.
- Abstract(参考訳): TLS 1.3とQUICは広く採用されており、ペイロードの内容は目に見えず、トラフィック分析をサイドチャネル機能にシフトさせている。
しかし、暗号化通信においてサイドチャネルリークが避けられない理由について、厳密な正当化がなされている。
本稿では,アプリケーション生成,プロトコルカプセル化,暗号化変換,ネットワーク伝送の因果関係を記述した形式的モデルである \(Σ=(A,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\ ,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,i,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\ ,\,\,\,\,\,\といった。
合成チャネル構造、データ処理の不等式、リプシッツ統計の伝搬に基づいて、非退化性(\(\mathbb{E}[d(z_P,z_N)\mid X]\le C\))、プロトコル層識別性(Expectation difference \(\ge\barΔ\))、リプシッツ連続性(\(ρ>0\))、観測非退化性(\(C<\barΔ/2L_\varphi\))、伝搬条件(\(C<\barΔ/2L_\varphi\))、相互情報 \(I(X;Y)\) などの条件下で、区別可能なセマンティックペアに対するサイドチャネル存在定理を提案し、証明する。
結論は,少なくとも1つのアプリケーションペアが識別可能である場合,効率優先のシステムでは,リークは避けられないことを示している。
3つの要因が境界を決定する:非縮退定数 \(C\) は効率に制約され、差分可能性 \(\barΔ\) はアプリケーションの多様性から、分析能力から \(ρ\) は分析能力から決定される。
これにより、暗号化されたトラフィックサイドチャネルの厳密な情報理論の基礎が確立され、攻撃実現可能性の検証可能な予測、防衛のための定量ベンチマーク、効率とプライバシーのトレードオフのための数学的基礎を提供する。
関連論文リスト
- SIM-CoT: Supervised Implicit Chain-of-Thought [108.30049193668083]
Implicit Chain-of-Thought(CoT)メソッドは、大規模言語モデルにおける明示的なCoT推論に代わるトークン効率の代替手段を提供する。
暗黙的なCoTの計算予算をスケールする際の中核的な不安定性問題を特定する。
そこで我々はSIM-CoTを提案する。SIM-CoTは,遅延推論空間を安定化・拡張するためのステップレベルの監視を実現するモジュールである。
論文 参考訳(メタデータ) (2025-09-24T17:01:32Z) - Rectified Diffusion Guidance for Conditional Generation [94.83538269086613]
CFGの背後にある理論を再検討し、不適切な組合せ係数(textiti.e.)が生成分布を期待的にシフトさせることを厳密に確認する。
提案手法は, 強みを考慮すれば, textbftextitform ソリューションが有効であることを示す。
実世界のデータに関する実証的な証拠は、我々の設計と既存の最先端拡散モデルとの整合性を実証している。
論文 参考訳(メタデータ) (2024-10-24T13:41:32Z) - Prototype-based Aleatoric Uncertainty Quantification for Cross-modal
Retrieval [139.21955930418815]
クロスモーダル検索手法は、共通表現空間を共同学習することにより、視覚と言語モダリティの類似性関係を構築する。
しかし、この予測は、低品質なデータ、例えば、腐敗した画像、速いペースの動画、詳細でないテキストによって引き起こされるアレタリック不確実性のために、しばしば信頼性が低い。
本稿では, 原型に基づくAleatoric Uncertainity Quantification (PAU) フレームワークを提案する。
論文 参考訳(メタデータ) (2023-09-29T09:41:19Z) - Simple and Tighter Derivation of Achievability for Classical
Communication over Quantum Channels [7.88657961743755]
本研究は, 良質な測定値が, 結合境界として自然に果たす役割を示すものであることを示す。
古典量子 (c-q) チャネル符号化におけるワンショット達成可能性の導出は、エレガントな3行証明によって大幅に単純化される。
提案手法は,量子側情報を用いた古典的データ圧縮のワンショット達成性,量子チャネル上のエンタングルメント支援型古典的通信,および様々な量子ネットワーク情報処理プロトコルを導出する。
論文 参考訳(メタデータ) (2022-08-03T15:12:01Z) - Unifying supervised learning and VAEs -- coverage, systematics and
goodness-of-fit in normalizing-flow based neural network models for
astro-particle reconstructions [0.0]
統計的不確実性、包括性、体系的不確実性、あるいは適度な尺度はしばしば計算されない。
データとラベルの共分散のKL分割の目的は、教師付き学習と変分オートエンコーダの統合を可能にすることを示す。
本稿では,特定の「基本順序」輪郭の数値積分を伴わずにカバレッジ確率を計算する方法について論じる。
論文 参考訳(メタデータ) (2020-08-13T11:28:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。