该论文研究混合密钥建立（hybrid key establishment）在缺少握手上下文认证时的降级风险。混合方案同时运行一个后量子 KEM（当前标准化的 ML-KEM）与一个经典 Diffie-Hellman 原语，使得只要其中任一组件未被攻破，会话密钥即保持安全；这一设计已被 TLS、SSH 和 IKE 标准化采纳。作者指出一个被普遍忽视的缺口：混合 KEM 只保护派生密钥的机密性，却不保护"选用哪些原语"这一协商过程本身的完整性。完整协议依靠握手 transcript 对协商结果做认证，但当混合 KEM 作为独立 drop-in 原语部署，或置于不做 transcript 认证的精简握手中时，这种保证便不复存在，主动攻击者可以剥离后量子选项实现降级。论文提出的核心问题是：密钥调度（key schedule）自身必须包含什么内容，才能使抗降级成为 combiner 的局部属性，而不依赖外层协议。方法上，作者在 combiner 层给出基于游戏（game-based）的形式化安全定义，并证明了一个双向分离（two-sided separation）结论：忽略 transcript 的 combiner 必然可被降级；而把会话密钥与确认标签（confirmation tag）都绑定到 transcript 哈希的 combiner 则能阻止所有此类尝试，其残余优势项对 256 位 transcript 哈希而言可忽略。论文还给出显式的"最强链路"（strongest-link）安全界，刻画混合组合的安全强度。成本方面，作者基于已公开发表的 Cortex-M4 测量数据构建标定成本模型，结果表明 transcript 绑定每方仅增加一次哈希运算，约占握手计算量的 11.8%，但仅占包含无线电通信在内的总能耗的 1.5%，且不增加任何报文数量或线上字节开销。所有报告数值均由已发布的测试框架（harness）生成，并通过 30 项校验门。该工作适合密码协议设计者、PQC 迁移与 TLS/SSH/IKE 实现者，以及嵌入式安全工程师阅读。