全加密协议(FEP)旨在让协议自身产生的全部字节在计算上与均匀随机串不可区分,从而抵抗基于流量特征的深度包检测与协议指纹识别。已有研究主要定义了单向 FEP(一方仅发送、另一方仅接收)的安全性质并给出构造,但绝大多数真实应用都需要双向信息交换。此时网络观察者可以同时观测两个方向的流量及其共享的连接生命周期,而双向信道的语义涉及更复杂的共享状态。因此作者指出:把两条单向全加密信道『朴素地』直接组合,可能在方向间依赖关系上留下可检测痕迹,例如流量不均衡、信道关闭、故障或连接拆除时序等。 针对这一问题,本文首先提出双向 FEP(BiFEP)的形式化安全定义,涵盖精确整形(exact shaping)、交付性(delivery)、协议状态完整性、私有半关闭(private half-close)以及跨方向隔离(cross-direction isolation),同时允许对外暴露可随机化的公开『发送调度』与『关闭纪元』。作者证明最平凡的组合方式无法满足这些定义,并给出了由此产生的实际检测攻击。 随后论文给出数据流(datastream)与数据报(datagram)两种场景下可证明安全的 BiFEP 构造:数据流场景将两个方向相互隔离的 FEP 与一个『包装层』结合,消除单向与双向连接状态不一致所导致的检测面;数据报场景则引入加密的 DATA/FIN/ACK 帧、重放保护与容忍丢包的关闭机制。作者用 Rust 实现了原型并进行了验证,同时调研后指出,现有已部署协议均未能完整提供 BiFEP 的全部安全性质。
💡 推荐理由: 流量分析是抗审查与匿名通信的核心对抗面。该工作首次系统化给出双向全加密信道的安全定义与可证明构造,并说明『两条单向信道简单拼装』会被双向依赖特征识别,对评估代理隧道、抗审查传输与匿名网络的实际抗检测能力有直接参考价值。
🎯 建议动作: 研究跟进:阅读论文中的形式化定义与两类构造,评估将其安全性质纳入内部抗审查/隧道协议评审与检测特征库的可行性