1. QKD系统安全测试工程导论

量子密钥分发（QKD）利用量子力学原理在通信双方之间协商对称密钥，其安全性不再依赖计算复杂度，而依赖物理定律。但“原理安全”不等于“设备安全”。实际QKD系统由光源、编码器、量子信道、探测器、经典协商信道、后处理模块和密钥管理接口共同构成，任一环节的器件非理想性、实现偏差或侧信道泄漏，都可能让攻击者绕过量子力学保证。安全测试工程的任务，就是把“理论安全边界”与“设备实际行为”之间的差距量化、定位并闭环修复。

一、QKD系统的组成与测试关注点

以典型的BB84偏振编码诱骗态QKD系统为例，其结构可分为三层。量子层负责单光子级信号的产生、调制、传输与探测；经典层负责基矢比对、纠错、隐私放大和身份认证；控制层负责时序同步、偏压控制、状态监控与密钥输出。测试时，每一层都有不同的观察对象：量子层关注光源平均光子数μ、诱骗态强度、编码消光比、探测器暗计数率与探测效率；经典层关注纠错效率f、隐私放大压缩比、认证标签长度；控制层关注同步抖动、门控信号时序、温度与偏压漂移。

这些参数并非孤立。例如，光源μ偏高会提升安全码率，但也会增加光子数分离（PNS）攻击风险；探测器效率不匹配会引入侧信道，使攻击者通过时间偏移获取部分密钥信息。因此，安全测试不能只做单点指标合格判定，而要建立参数之间的关联视图。

二、安全测试目标：从“通不通”到“安不安全”

QKD安全测试的目标不是验证设备能否产生密钥，而是验证在存在主动攻击和器件非理想性的条件下，设备输出的密钥是否仍满足可证明安全。具体可拆为四个层次：

• 功能正确性：密钥协商流程可完成，Alice与Bob密钥一致，认证机制有效。
• 参数合规性：光源μ、探测器效率、暗计数、QBER等关键参数在安全证明假设范围内。
• 侧信道抗性：探测器效率不匹配、时间偏移、后脉冲、死时间等是否被攻击者利用。
• 安全码率真实性：在给定参数下，实际可提取密钥率是否与理论下界一致，是否存在虚高。

以QBER为例，BB84诱骗态协议在渐近极限下的安全码率下界可写为 R ≥ q·{−f·Q_μ·H₂(E_μ) + Q₁[1−H₂(e₁)]}。测试时若只测总QBER而不分解单光子态贡献Q₁与e₁，就无法判断安全码率是否被高估。因此，测试工程必须把“可观测参数”映射到“安全证明中的变量”。

三、测试工程生命周期

QKD安全测试不是一次性验收，而是贯穿设备全生命周期的持续过程。可划分为五个阶段：

1. 需求与威胁建模：明确设备类型（离散变量/连续变量）、信道类型、攻击者能力假设，列出需覆盖的攻击面清单。
2. 测试设计与基线建立：确定测试项、测试点、注入方式、判定阈值，并在无攻击条件下采集参数基线。
3. 执行与数据采集：按测试用例注入攻击或扰动，同步记录量子层与经典层参数，保留原始时间戳数据。
4. 分析与偏差定位：将实测参数代入安全码率模型，计算偏差，定位到具体器件或模块。
5. 修复与回归验证：针对偏差调整硬件或算法，重新测试并确认安全码率恢复且无新侧信道引入。

四、与经典密码测试的差异

经典密码测试主要关注算法实现正确性、密钥管理流程、随机数质量、侧信道（如功耗、电磁）以及协议逻辑漏洞。QKD安全测试与之有三点本质差异：

这意味着QKD测试工程师既要理解量子光学与探测器物理，也要掌握经典后处理与认证机制。测试用例的设计不能只停留在“发送攻击、观察是否出错”，而要能回答：攻击是否改变了安全证明所依赖的参数？改变量是否足以让安全码率降为零或变为负值？

五、一个可执行的测试用例示例

以下给出一个针对探测器效率不匹配的测试用例片段，用于说明测试工程如何把攻击假设转化为可执行步骤和判定条件。示例参数为教学假设，非实测结果。

测试项：探测器效率不匹配侧信道探测
目标：验证Bob端两个探测器效率差异是否可被Alice端观测并利用
前置条件：QKD链路稳定，QBER基线 2.1%，密钥率基线 12.5 kbps
测试步骤：
  1. 记录Bob两个探测器在相同光强下的计数率 N1, N2
  2. 计算效率比 η1/η2，若偏差 > 5% 则标记为可疑
  3. 在Alice端扫描偏振态，记录Bob端响应差异
  4. 将效率偏差代入安全码率模型，计算R是否仍为正
判定：
  - 若效率偏差导致R下降超过30%，判定为高风险
  - 若R仍为正但偏差 > 10%，判定为中风险，需持续监控
  - 若偏差 < 5% 且R稳定，判定为通过

该用例的关键不在于“跑通流程”，而在于把探测器效率这一物理参数，通过安全码率模型，转化为对密钥安全性的定量影响。这正是QKD安全测试工程与常规设备测试的根本区别：测试结果必须能回落到安全证明的变量空间中进行判读。