[논문 리뷰] A Framework for Migrating to Post-Quantum Cryptography: Security Dependency Analysis and Case Studies

Khondokar Fida Hasan, Leonie Simpson외 6명|arXiv (Cornell University)|2023. 07. 13.

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 이행 지침과 같은 기존 보안 표준과 어떻게 통합되어 종단 간 이행 계획을 지원할 수 있는가?

주요 결과

• 프레임워크는 AWS Config 및 암호 자산 인벤토리와 같은 실제 엔터프라이즈 데이터 소스에서 유래한 그래프 구조를 사용하여 복잡한 암호 종속성을 성공적으로 모델링하였다.
• 그래프 분석을 통해 'NIST 승인'에서 'NIST 비승인'으로 이어지는 직접 종속성 경로를 발견하여 고감도 데이터가 보안이 떨어지는 알고리즘으로 보호될 수 있음을 시사하였다.
• 수동 점검 없이도 대규모 시스템을 대상으로 1024비트 RSA 키 등 NIST에서 승인하지 않은 구성 요소를 자동으로 탐지할 수 있었다.
• 구성 변경 시 동적 재분석을 지원하여 이행 기간 동안 지속적인 모니터링과 능동적인 위험 완화를 가능하게 하였다.
• 사례 연구를 통해 프레임워크가 실제 기업 환경에 스케일링 가능하며, 否인식된 심각한 보안 격차를 식별할 수 있음을 입증하였다.
• NIST CSF 및 ETSI 이행 전략과의 통합은 프레임워크의 종합적 위험 평가 및 준수 관리 활용도를 향상시켰다.

Figure 2: High-level structure of the paper.