加密流量中副信道泄漏的必然性

TLS 1.3 和 QUIC 的广泛采用使有效载荷内容不可见，将流量分析从副信道特征转向侧信道。然而，关于副信道在加密通信中必然存在的严格依据缺乏。本文从信息论出发，通过构建形式模型 $\Sigma=(\Gamma,\Omega)$ 建立严格基础，其中 $\Gamma=(A,\Pi,\Phi,N)$ 描述应用生成、协议封装、加密转换和网络传输的因果链，$\Omega$ 表征观察能力。基于复合信道结构、数据处理不等式和 Lipschitz 统计量传播，我们提出并证明了副信道存在定理：对于可区分的语义对，在映射非退化性 ($\mathbb{E}[d(z_P,z_N)\mid X]\le C$)、协议层可区分性（期望差 $\ge\bar\Delta$）、Lipschitz 连续性、观察非退化性 ($\rho>0$) 和传播条件 ($C<\bar\Delta/2L_\varphi$）的条件下，互信息 $I(X;Y)$ 严格为正，给出显式下界。推论表明，在以效率为优先考虑的系统中，只要至少有一个应用对可区分，泄漏即不可避免。该边界由三个因素决定：由效率限制的非退化常数 $C$、来自应用多样性的可区分性 $\bar\Delta$，以及来自分析者能力的 $\rho$。这为加密流量副信道提供了首个严格的信息论基础，为攻击可行性提供可验证的预测，为防御提供可量化的基准，并为效率-隐私权衡提供数学依据。