在密码学中，安全信道是网络协议的核心目标。TLS 1.3 的成功推动了协议设计的简化与可验证性。Noise 和 Signal 协议框架成为重要范式，前者通过可组合性简化设计，后者实现端到端加密。本文探讨了这些协议的设计动机、安全属性及未来发展方向。