2.3QKD安全性分析

2.3 QKD 安全性分析

QKD 的卖点是"信息论安全"，但这是有条件的。分清理论安全与现实安全，是使用 QKD 前必须做好的功课。

三层安全视角

💡 "无条件安全"指的是在理想协议假设下；一旦落到真实器件，就要靠 MDI-QKD、诱骗态、器件认证等把现实漏洞逐一堵上，才能得到"实际安全"。

⚠️ 所谓"设备无关 QKD"虽能把对器件的信任降到最低，但实现门槛极高、成码率低，目前多是实验室成果，别把它当成可立即商用的方案。

深入讨论：从安全证明到实际部署的距离

QKD 安全性分析的关键，是搞清楚「证明保证了什么、现实缺少了什么」。信息论安全与安全证明层面的结论，通常建立在理想化的模型上：完美的单光子源、无暗计数的探测器、无损耗无噪声的信道、协议步骤严格按规范执行。这些假设保证了「在模型内，Eve 的信息量可被严格上界」，却无法自动覆盖现实器件的偏离。

实际安全性的每个环节都需要工程化补偿：光源发射多光子脉冲，用诱骗态统计甄别来堵；探测器效率不匹配或暗计数偏高，用设备校准与参数估计来管；光纤损耗限制距离，用可信中继或量子中继来延伸；经典通信模块与密钥管理软件本身也可能被攻破，必须纳入整体安全评估。一句话总结：QKD 把「算力攻击」换成了「物理攻击」，攻击面没有消失，只是转移到了器件与工程实现上。

# 理论安全到实际安全的差距清单
理想假设                    现实偏差              工程对策
完美单光子源                多光子脉冲             诱骗态（decoy-state）
无暗计数探测器              暗计数、效率失配       校准、参数上界估计
无噪声信道                  光纤损耗与噪声         中继、纠错、更紧的参数估计
器件完全可信                探测器可被致盲/控制      MDI-QKD、器件认证
经典侧安全                  侧信道、软件漏洞       全链路安全评估

# 部署前安全性核查清单
1. 明确本系统对应的安全层级（信息论/证明/实际）
2. 审计光源、探测器、信道的真实参数
3. 确认误码率阈值与安全参数设定是否留有裕量
4. 检查经典通信与密钥管理模块是否独立加固
5. 为可信中继节点制定物理与访问控制措施
​

这份清单的意义在于把「安全」从形容词变成可核查的工程指标。对使用方来说，评估一套 QKD 系统是否合格，看的不是宣传册上的「无条件安全」，而是它在器件参数、攻击假设与运营流程上到底满足了哪一层条件——这与评估任何加密系统的思路完全一致，只是审查对象从算法换成了物理器件与工程实现。

把三层安全视角连起来看，还能得到一个重要的风险管理结论：QKD 的安全性不是「有或无」，而是「在哪一层成立」。理想模型下的证明保证了协议逻辑的正确，实际安全则取决于工程投入。购买与部署 QKD 时，将「期望的安全层级」与「可接受的成本」同步设定，能有效避免要么过度投资、要么假设落空的偏差。

在审计层面，值得为 QKD 链路建立「安全假设台账」：逐条记录本部署依赖的假设（单光子源是否用诱骗态补偿、探测器是否可信、中继是否可信、经典侧是否加固），并定期复核假设是否仍成立。台账的意义在于把隐性的信任前提显性化——任何一条假设被证伪，都能立刻定位到受影响的链路与应对预案。

这套台账方法同样可复用于 PQC 部署（记录参数集、实现库版本与安全公告跟踪），是从本教程中可直接带走、立刻上手的治理工具之一。