[论文解读] A Framework for Migrating to Post-Quantum Cryptography: Security Dependency Analysis and Case Studies

Khondokar Fida Hasan, Leonie Simpson+6 more|arXiv (Cornell University)|Jul 13, 2023

Quantum Computing Algorithms and ArchitectureComputer Science参考文献 30被引用 3

一句话总结

本文提出了一种基于图论的依赖关系安全分析方法，构建了企业向后量子密码学（PQC）迁移的系统化框架。通过将密码学资产、配置和信任关系建模为有向图，该框架识别出高风险依赖关系（如非NIST批准的算法保护高敏感度数据），从而实现最小化干扰的优先级风险驱动迁移。

ABSTRACT

Quantum computing is emerging as a significant threat to information protected by widely used cryptographic systems. Cryptographic methods, once deemed secure for decades, are now at risk of being compromised, posing a massive threat to the security of sensitive data and communications across enterprises worldwide. As a result, there is an urgent need to migrate to quantum-resistant cryptographic systems. This is no simple task. Migrating to a quantum-safe state is a complex process, and many organisations lack the in-house expertise to navigate this transition without guidance. In this paper, we present a comprehensive framework designed to assist enterprises with this migration. Our framework outlines essential steps involved in the cryptographic migration process, and leverages existing organisational inventories. The framework facilitates the efficient identification of cryptographic assets and can be integrated with other enterprise frameworks smoothly. To underscore its practicality and effectiveness, we have incorporated case studies that utilise graph-theoretic techniques to pinpoint and assess cryptographic dependencies. This is useful in prioritising crypto-systems for replacement.

研究动机与目标

• 应对量子计算对广泛部署的密码系统（如RSA和ECDSA）带来的日益增长的威胁。
• 为面临复杂技术、运营和组织挑战的企业提供一种系统化、可扩展的向抗量子密码学迁移的方法。
• 通过分析资产、算法和安全等级之间的依赖关系，实现基于风险的密码学迁移优先级排序。
• 与现有企业安全框架（如NIST CSF、ETSI、CARAF）集成，以支持全面的风险管理。
• 通过利用现有资产清单并使用图论技术自动化依赖关系发现，最小化操作干扰。

提出的方法

• 将密码学资产、配置和安全分类建模为有向图中的节点。
• 基于依赖关系定义边：例如，数据资产依赖于密码算法，而密码算法又依赖于密钥长度和NIST批准状态。
• 使用真实世界数据源，如云配置文件（例如AWS Config）、密码学资产清单（例如Cryptosense提供的清单）以及基于JSON的密码学注册表。
• 应用标准图算法，检测从高安全需求到不充分密码保护的有向路径（例如，NIST批准 → 非NIST批准）。
• 自动化依赖关系发现与分析，以支持实时监控和“假设情景”规划。
• 将结果与既定安全框架集成，以支持迁移过程中的风险评估与合规管理。

Figure 1: Foundational security goals.

实验结果

研究问题

• RQ1 企业如何系统性地识别并优先处理受量子攻击影响的密码学资产？
• RQ2 哪些类型的密码学依赖关系会形成安全缺口，导致弱算法或非批准算法保护高敏感度数据？
• RQ3 如何利用现有组织资产清单，在无需人工干预的情况下自动化发现密码学依赖关系？
• RQ4 图论分析在多大程度上能够检测并可视化企业系统中密码学配置的安全弱点？
• RQ5 所提出的框架如何与现有安全标准（如NIST CSF和ETSI迁移指南）集成，以支持端到端的迁移规划？

主要发现

• 该框架成功利用来自真实企业数据源（如云配置文件和密码学资产清单）的图结构，建模了复杂的密码学依赖关系。
• 图分析揭示了从‘NIST批准’到‘非NIST批准’密码对象的直接依赖路径，表明高敏感度数据可能正由不安全算法保护。
• 该方法可自动检测不安全配置（如未获NIST批准的1024位RSA密钥），而无需人工检查大规模系统。
• 该方法支持在配置变更后进行动态重新分析，实现持续监控，并在迁移过程中主动缓解风险。
• 案例研究证明，该框架可扩展至真实的企业环境，并识别出原本可能被忽略的关键安全缺口。
• 与NIST CSF和ETSI迁移策略等现有框架的集成，显著增强了该框架在全面风险评估与合规管理方面的实用性。

Figure 2: High-level structure of the paper.