Fugu-MT 論文翻訳(概要): The Inevitability of Side-Channel Leakage in Encrypted Traffic

論文の概要: 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Δ\) はアプリケーションの多様性から、分析能力から \(ρ\) は分析能力から決定される。これにより、暗号化されたトラフィックサイドチャネルの厳密な情報理論の基礎が確立され、攻撃実現可能性の検証可能な予測、防衛のための定量ベンチマーク、効率とプライバシーのトレードオフのための数学的基礎を提供する。

関連論文リスト

TorchLean: Formalizing Neural Networks in Lean [71.68907600404513]
本稿では,学習モデルを一級数学的対象として扱うフレームワークであるTorchLeanを紹介する。我々はTorchLeanのエンドツーエンドを、証明された堅牢性、PINNの物理インフォームド残差、Lyapunovスタイルのニューラルコントローラ検証で検証する。
論文参考訳（メタデータ） (2026-02-26T05:11:44Z)
Variational Bayesian Flow Network for Graph Generation [54.94088904387278]
グラフ生成のための変分ベイズフローネットワーク(VBFN)を提案する。 VBFNは、構造化精度で支配されるトラクタブルジョイントガウス変分信念ファミリーに対して変分リフトを行う。合成グラフと分子グラフのデータセットでは、VBFNは忠実度と多様性を改善し、ベースライン法を超えている。
論文参考訳（メタデータ） (2026-01-30T03:59:38Z)
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)
VeriFlow: Modeling Distributions for Neural Network Verification [3.510536859655114]
フォーマル検証は、ニューラルネットワークの安全性と信頼性を保証するための有望な方法として登場した。本稿では,検証手法が関心のあるデータ分布に限定できるように,フローベース密度モデルとしてVeriFlowアーキテクチャを提案する。
論文参考訳（メタデータ） (2024-06-20T12:41:39Z)
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)
Semantic Security with Infinite Dimensional Quantum Eavesdropping Channel [1.5070870469725095]
本稿では,ワイヤタップチャネルの直接符号化定理の証明法を提案する。この方法はブロック長の増加とともに指数関数的に減衰する誤差を生じる。セマンティックセキュリティの量子バージョンを保証する。
論文参考訳（メタデータ） (2022-05-16T13:25:56Z)
Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
確率感性決定図は、解離ゲートの入力が確率値によってアノテートされる論理回路である。我々は、局所確率を質量関数のクレーダル集合に置き換えることができる確率の一般化である、クレーダル感性決定図を開発する。まず,ノイズの多い7セグメント表示画像に基づく簡単なアプリケーションについて検討する。
論文参考訳（メタデータ） (2020-08-19T16:04:34Z)
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)
From Information Theory Puzzles in Deletion Channels to Deniability in Quantum Cryptography [0.0]
まず、実験データに基づいて、後部のエントロピーが定数列によって最小化されることを予想する。次に,DC-QKEを提案するために,隠蔽通信とデニビリティの接続を確立する。完全ホモモルフィック暗号をベースとした,効率的な耐保磁・量子セキュリティ投票方式を提案する。
論文参考訳（メタデータ） (2020-03-25T22:20:47Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。