全加密协议(FEP,Fully Encrypted Protocols)旨在提供一种信道:协议自身产生的全部字节在计算上与均匀随机串不可区分,从而使网络观察者无法借助协议指纹、头部结构或长度特征区分该流量与随机噪声。这类协议是抗审查与抗流量分析系统的重要构件。此前的研究主要围绕单向 FEP 展开,即一方只发送、另一方只接收的场景,并给出了相应的安全定义与构造。然而现实应用几乎都需要双向信息交换,而网络对手可以同时观察两个方向的流量以及连接的共同生命周期。作者指出,把两个单向 FEP "朴素组合"成双向协议并不安全:由于双向信道涉及更复杂的共享状态,两个方向之间存在可被利用的依赖关系,例如流量不平衡、通道关闭、传输失败或连接拆除,观察者可据此判定该连接属于某种被封装协议,而非真正的随机流量,从而形成实际可用的检测攻击。为此,论文首先提出了一套面向双向 FEP 的形式化安全定义,涵盖精确整形(exact shaping)、投递保证、协议状态完整性、私有半关闭(private half-close)与跨方向隔离(cross-direction isolation),同时允许协议公开一个可随机化的"发送时间表"和"关闭纪元"。作者证明平凡组合无法满足这些定义,并解释了其导致的检测后果。随后论文分别在数据流(datastream)与数据报(datagram)两种场景下构造了可证明安全的双向全加密协议(BiFEP):数据流方案将两个方向隔离的 FEP 与一个"包装层"结合,用于消除单向与双向连接状态不匹配所泄露的差异;数据报方案则引入加密的 DATA/FIN/ACK 消息,配合重放保护与容忍丢包的关闭机制。作者用 Rust 实现了该设计,并调研了现网已部署协议,结果显示没有任何一个被调研的协议同时具备完整的 BiFEP 安全属性。该工作适合抗审查协议设计者、流量分析抵抗研究者以及隐私网络工程人员阅读。