该论文研究了SSH协议的通道完整性安全问题。SSH协议广泛用于安全远程登录和文件传输，其核心是经过身份验证的密钥交换和二进制包协议（BPP）来保证通道的机密性和完整性。然而，作者发现当前广泛使用的三种加密模式（如ChaCha20-Poly1305，CBC-ETM等）下的SSH BPP不再满足通道完整性要求（INT-PST、aINT-PTXT、INT-sfCTF），从而允许攻击者在不被客户端或服务器察觉的情况下，删除SSH通道开头部分的加密数据包，实现前缀截断攻击。作者详细分析了漏洞的根源：一是SSH握手过程中存在可选消息且未经认证；二是激活加密密钥时SSH未重置消息序列号。基于这些发现，论文展示了多种实际攻击场景：包括完全破坏SSH扩展协商（RFC 8308），使得攻击者可降级用户认证的公钥算法，或关闭OpenSSH 9.5中针对按键时间攻击的新防护措施；此外，结合AsyncSSH中的实现缺陷，攻击者能将受害者的登录重定向到攻击者控制的shell。互联网范围扫描显示，71.6%的SSH服务器支持至少一种易受攻击的加密模式，其中63.2%将其列为首选。最后，作者提出了有效且向后兼容的缓解方案，包括在握手期间对MAC值进行绑定以及对序列号管理进行改进。该研究对于SSH协议安全、网络基础设施防护以及安全通信库的设计具有重要参考价值。

本文提出了一种实用的隐私保护SSH认证方案。传统的SSH认证通常需要服务器验证用户身份，但在这个过程中，服务器会获得用户的一些身份信息（如公钥），这可能导致用户隐私泄露。为了解决这一问题，作者设计了一种基于不经意伪随机函数（OPRF）和零知识证明的协议，允许用户在无需向服务器透露其身份信息的情况下完成认证。具体地，用户持有秘密密钥，服务器持有公钥列表；协议执行后，服务器仅知道用户是否在列表中，而无法得知具体是哪个用户。该方案兼容现有的SSH协议框架，性能开销低，能够在实际网络环境中高效运行。实验表明，与标准SSH认证相比，该方案的额外计算和通信开销在可接受范围内。本文的主要贡献包括：首次将隐私保护认证应用于SSH的实际场景，提出了高效且可部署的协议，并通过实现和评估验证了其实用性。适合密码学研究人员和安全从业者阅读。

该论文对SSH协议进行了全面的后量子密码学安全性分析。SSH是首批升级以抵抗未来量子计算机攻击的互联网安全协议之一，OpenSSH自2022年4月起默认采用“量子（或其他经典）”安全的混合密钥交换。然而，现有文献对SSH抗量子版本的安全性分析不足：相关工作要么孤立地分析混合密钥交换，不考虑整体协议安全；要么在不适合SSH的安全模型（尤其是在后量子环境下）中分析协议。本研究通过“自顶向下”的方法填补了这一空白：首先在一个更合适的模型（即后量子扩展的认证机密信道建立协议安全模型，ACCE）中证明了SSH的安全性，该扩展能够捕获“先收集、后解密”攻击，具有独立研究价值；然后基于协议级别的ACCE安全分析，推导了SSH底层原语（如OpenSSH和TinySSH最新版本中使用的密钥封装机制“Streamlined NTRU Prime”）的密码学属性，在量子随机预言机模型中证明了相关属性，并解决了文献中关于其分析的开放问题。值得注意的是，对后量子SSH的ACCE安全分析依赖于混合密钥交换中使用的临时KEM的较弱IND-CPA安全性，而此前的工作依赖于更强的IND-CCA安全性。论文最后讨论了将当前后量子SSH实现中的IND-CCA安全KEM替换为更简单、更快的IND-CPA安全KEM的可行性，并提供了相应基准测试。