本文针对加密流量侧信道防御中广泛存在的参数选择依赖经验调优的问题,提出了一个可证明、可计算的理论基线。作者将语义标签序列 X^n 视为信源,防御后的特征序列 Y^n 视为观测,以 Wasserstein-1 距离作为防御成本,在平稳无记忆防御类 Θ_iid 内定义了侧信道率失真函数 R^sc(D),并给出了其完整刻画。证明表明 R^sc(D) 单调递减、凸且连续,端点精确;最优防御具有指数倾斜(Boltzmann)结构,由 KKT 条件控制;该曲线构成了 Θ_iid 内的精确帕累托前沿。对于二元等先验任务,通过 Kantorovich-Rubinstein 对偶得到最大成本 D_max = 1/2 W_1(P_0,P_1)。在真实网站指纹防御数据集上,所提框架定位了 Front(Δ_gap=0.028 bits)、WTF-PAD(0.034 bits)和 TrafficSliver(0.124 bits)在理论曲线上方,定量揭示了它们的次优性差距。该工作为加密流量防御设计提供了首个可证明的理论基准,能够指导更优防御参数的选取,而无需依赖经验试错。
💡 推荐理由: 该研究为加密流量侧信道防御提供了第一个可证明的理论性能界,结束了过去完全依赖经验调参的现状,有助于安全从业者科学评估和优化现有防御方案。
🎯 建议动作: 研究跟进