SoK: Post-Quantum Cryptography (PQC) Implementation in Software Systems

这篇知识系统化（SoK）论文通过人类、组织与技术（HOT）框架分析了后量子密码学（PQC）的实现挑战，揭示了人类和组织因素研究不足的关键失衡现象，并提出了 PQC-HOT 模型，旨在引导一场协调一致的社会技术转型，以实现成功的集成。

要点

以下是关于论文 "SoK: Post-Quantum Cryptography (PQC) Implementation in Software Systems" 的解释，使用了简单的语言和日常类比。

大局观：一场量子风暴即将来临

想象一下，数字安全的世界就像一座保护着你的银行账户、密码和私人信息的堡垒。目前，门上的锁是由一种非常坚固的金属制成的（现有的加密技术，如 RSA）。

然而，科学家们正在制造一种新的“超级钻机”，叫做量子计算机。一旦这种钻机的威力足够强大，它就能在几秒钟内击碎这些金属锁，让你的数据处于不设防的状态。

为了阻止这种情况，密码学家发明了新的、超强韧的锁，这种材料被称为后量子密码学 (PQC)。这些新锁的设计目标是即使面对超级钻机也无法被破解。

问题在于： 我们有了这些新锁的设计蓝图，但我们不知道如何将它们实际安装到我们每天使用的数以百万计的现有建筑（软件系统）中。这篇论文是对为什么安装这些新锁如此困难的一次大规模调查。

---

调查过程：观察“三脚凳”

作者们意识到，人们只通过一个视角来看待这个问题：技术 (Technology)。他们一直在问：“数学对吗？”以及“代码运行快吗？”

但作者认为，安装这些新锁就像是在尝试平衡一个三脚凳。如果其中一条腿缺失或摇晃，整个凳子就会倒塌。他们将这三条腿称为 HOT：

1. H - 人类 (Human)： 必须建造并安装这些锁的人（开发者）。
2. O - 组织 (Organisation)： 支付费用、制定规则并管理过渡期的公司和政府。
3. T - 技术 (Technology)： 用于制造这些锁的实际数学、代码和工具。

他们的发现：“技术偏见”

研究人员为了得出这一结论，从超过 10,000 篇关于 PQC 的出版物中进行了系统性的筛选，最终只保留了29 篇经过严格挑选的研究进行深入分析。以下是他们的发现：

• “技术”这条腿非常庞大： 几乎所有的研究都集中在技术上。人们忙于发明更好的数学、编写代码库，并测试算法是否有效。这就像拥有一个装满了完美锁具蓝图的仓库。
• “人类”这条腿非常细小： 关于如何教导开发者使用这些新锁的研究非常少。大多数培训是面向大学生的，而不是面向在公司工作的实际软件工程师。这就像拥有蓝图，却没有任何给施工队的说明书。
• “组织”这条腿完全缺失： 在最终筛选出的 29 项研究中，没有任何一项明确探讨了治理结构、组织规划或 PQC 的监管合规性。这就像拥有了锁和施工队，却完全没有项目经理来告诉他们何时开始、如何管理预算或遵守规则。

类比： 想象你正在高速公路上行驶时，试图更换汽车的引擎。

• 技术是新引擎。
• 人类是尝试更换引擎的机械师。
• 组织是控制交通以及购买新引擎的预算。
• 论文的发现： 我们有一个很棒的新引擎（技术），但我们还没有培训机械师（人类），而且完全没有人来组织交通或管理预算（组织）。如果我们只是把引擎装上去而忽略另外两者，车就会失控撞车。

“交叉影响”的危险

论文解释说，这些问题并不会留在各自的领域内。它们会相互混合并使情况恶化。这被称为社会 - 技术耦合 (Socio-Technological Coupling)。

• 例子： 如果技术工具设计得很混乱（设计糟糕），人类开发者就会感到压力并犯错。
• 结果： 由于组织没有制定培训或检查工作的计划（因为这方面研究完全空白），这个错误会在系统失效前一直未被察觉。

作者称这是一个“恶性循环”。一个脆弱的工具导致人类错误，而缺乏组织支持则会让这个错误演变成灾难。

解决方案：PQC-HOT 模型

为了解决这个问题，作者提出了一个名为 PQC-HOT 模型 的新思维方式。

你可以将这个模型看作是一个三方握手。为了让后量子安全发挥作用，你不能仅仅升级数学。你必须同时升级这三个方面：

1. 打造更好的工具，使其易于被人类使用（技术）。
2. 培训人类，使他们理解如何安全地使用它们（人类）。
3. 制定公司计划，为这次切换提供时间、资金和规则（组织）。

核心结论

论文得出结论：转向后量子安全不仅仅是一个数学问题。它是一个伪装成数学问题的、关于人和管理的问题。

如果我们只关注“锁”（代码），而忽略了“锁匠”（开发者）和“建筑所有者”（组织），那么新的安全机制将会失败。为了成功，我们需要将这次转型视为一次完整的系统升级，让代码、人员和业务计划在其中和谐共生。

技术摘要

技术总结：关于软件系统中后量子密码学（PQC）实现的知识系统化研究（SoK）

1. 问题陈述

向后量子密码学（PQC）的过渡对于保护软件系统免受未来量子计算威胁（如 Shor 算法和 Grover 算法所带来的威胁）至关重要。尽管标准化的 PQC 算法已经可用，但如何将其安全地集成到现实世界的软件系统中仍然是一个重大挑战。目前的研究主要集中在算法设计、安全性证明和性能基准测试上。然而，这种关注为实现成功的集成提供了有限的见解，因为它未能涵盖实现过程中所需的更广泛的社会技术因素。

识别出的核心问题是，PQC 实现往往被视为纯粹的技术迁移。实际上，它涉及密码机制、开发者专业知识与组织治理之间复杂的相互作用。现有文献缺乏对这些维度——人类（Human）、组织（Organizational）和技术（Technological）（简称 HOT）——如何共同影响实现结果的综合性阐述。因此，目前的实践具有碎片化、实验性集成以及缺乏统一指导的特征，这增加了配置错误和不安全部署的风险。

2. 研究方法

本研究采用了一种**知识系统化（SoK）**方法，遵循 Kitchenham 和 Charters 的两阶段协议（规划与执行），以确保综述的结构化和可重复性。

• 范围定义： 本综述利用 PICOC 框架（人群、干预、比较、结果、背景）来定义范围，重点关注 PQC 在软件开发中的方法论、框架、指南、工具和教育干预措施。
• 数据来源： 文献检索自主要数字图书馆（ACM、IEEE Xplore、Springer 等）以及领先的网络安全会议（USENIX、CCS 等）。
• 筛选标准： 本综述纳入了 2020 年 1 月至 2026 年 2 月期间发表的同行评审英文出版物，并设定了针对 PQC 在软件实现方面研究的具体纳入标准。通过滚雪球法，纳入了两篇具有高度相关性的 2017 年和 2019 年的例外研究。
• 筛选过程： 遵循 PRISMA 2020 框架，过程分为三个阶段：数字图书馆搜索、针对性会议/期刊搜索，以及后向/前向滚雪球搜索。从最初的 10,000 多篇出版物中，最终选择了 29 项研究进行最终分析。
• 分析： 采用了六阶段主题分析法（Braun 和 Clarke）来提取和合成数据。研究结果被系统地映射到 人类 - 组织 - 技术（HOT） 框架上，以分析跨越这三个维度的实现方法和挑战。

3. 主要贡献

本文对 PQC 实现领域做出了四个主要贡献：

1. 社会技术综合： 作者将现有的 PQC 实现方法（指南、框架、工具和教育干预）映射到 HOT 视角下，揭示了技术解决方案占据主导地位，而人类和组织因素被忽视的结构性失衡。
2. PQC-HOT 模型： 引入了一个概念框架，用于解释人类、组织和技术因素之间的相互依赖关系。该模型将 PQC 实现概念化为一个社会技术系统，其中密码机制、开发者能力和组织流程共同决定了安全结果。
3. 挑战的分层分类： 本研究构建了一个实现挑战的分层分类，揭示了它们在 HOT 维度中的分布。这通过强调跨领域、相互依赖的约束，扩展了以往碎片化的分类方法。
4. 整合的研究议程： 基于识别出的差距，本文提出了旨在推进有效的、面向实践的 PQC 实现的可操作研究方向，强调了开发集成式、生命周期感知策略的必要性。

4. 关键结果

4.1. RQ1：实现方法

综述识别了四类干预措施，这些措施明显向技术维度倾斜：

• 指南 (G1)： 主要侧重于数学基础和形式化安全证明（技术维度）。
• 框架 (F1–F3)： 包括集成框架、认证机构扩展以及测试/评估框架，这些主要在技术维度内运行。
• 工具与库 (T1–T4)： 这是最具操作相关性的类别，包括实现库、协议插件、测试工具和迁移工具。这些几乎完全属于技术维度。
• 教育干预 (E1–E2)： 涵盖传统教学法和主动教学策略。虽然它们涉及人类维度，但主要针对学术受众和理论理解，而非专业的开发者实践。
• 组织维度： 值得注意的是，零项研究明确探讨了 PQC 实现中的治理结构、组织规划或监管合规性。

4.2. RQ2：实现挑战

分析表明，挑战并非孤立存在，而是源于 HOT 维度之间的结构性失衡。研究将挑战组织为五个分层类别，并进一步阐述了跨领域挑战作为连接这些层级的相互依赖约束：

五个分层挑战类别：

1. 密码学与实现层面的漏洞： 风险源于算法弱点、实现不成熟以及侧信道攻击。即使是数学上安全的算法，也可能因编码错误、不安全的优化或缺乏常数时间执行而失败。
2. 系统级与生命周期约束： PQC 引入了显著的开销（密钥大小、内存、计算量），这与遗留架构相冲突。现有系统缺乏密码敏捷性，使得增量迁移变得困难，通常需要大规模重构。
3. 工具与生态系统风险： 生态系统是碎片化的，工具与库之间的互操作性有限。设计不良的 API、不安全的默认设置以及缺乏标准化验证机制，增加了开发者出错的可能性。
4. 组织与治理障碍： 组织在标准化、迁移时间表和监管合规方面面临不确定性。目前缺乏成熟度模型或结构化治理框架来指导大规模转型。
5. 以人为中心的脆弱性： 理论知识与实际实现技能之间存在脱节。开发者往往缺乏安全 PQC 编码所需的特定专业知识（例如内存安全、参数选择），且教育计划很少解决职业化的、面向实践的需求。

跨领域挑战（相互依赖的约束）：
除了上述五个分层类别外，研究强调风险会在不同维度间传播，形成跨领域的相互依赖约束。例如，设计不良的工具（技术维度）会增加开发者的认知负荷和错误率（人类维度），而薄弱的治理（组织维度）则无法缓解这些问题。这种跨层级的传播效应表明，挑战并非孤立存在，而是由 HOT 维度之间的动态相互作用所驱动。

5. 重要性与主张

本文主张，PQC 实现本质上是一场社会技术转型，而非简单的密码升级。这项工作的意义在于：

• 重构问题： 它将视角从纯粹的算法挑战转向了涉及软件架构、开发者行为和组织战略的系统工程问题。
• 揭示失衡： 通过应用 HOT 框架，研究表明现有的知识体系严重偏向技术解决方案，从而留下了组织准备度和人类能力发展的关键空白。
• 引入 PQC-HOT 模型： 该模型提供了一个结构化视角，用于分析维度间的失衡如何产生连锁风险。它认为，安全的实现需要三个维度的协同进步；孤立的技术改进是不够的。
• 指导未来工作： 本文断言，未来的研究必须超越以技术为中心的方法，开发集成的、生命周期感知的框架，以解决可用性、治理和开发者体验等问题。它呼吁开发组织成熟度模型、面向实践的教育工具以及“安全设计”抽象，以实现可持续的 PQC 部署。

作者总结道，如果不解决人类、组织和技术因素之间的相互依赖关系，即使是理论上安全的 PQC 方案，也可能无法在现实世界的软件系统中实现可靠、可扩展且安全的部署。