MODULE m1 · 8.0 HOURS
양자 위협과 격자 기반 암호
0% 완료
LEARNING OBJECTIVES
이번 모듈의 목표
- 양자 컴퓨터가 현대 암호 체계(RSA, ECC)에 미치는 위협 모델을 이해한다.
- 격자 기반 암호(Lattice-based Cryptography)의 수학적 기초와 안정성 근거를 분석한다.
- NIST가 권고하는 포스트퀀텀 암호 표준(ML-KEM, ML-DSA)의 설계 원리를 학습한다.
- 격자 기반 알고리즘의 효율성 및 보안적 특성(worst-case hardness)을 기술한다.
양자 위협 모델
현대 공개키 암호(PKI)는 주로 소인수 분해(RSA)와 이산 로그 문제(ECC)의 어려운 난제에 의존한다. 쇼어 알고리즘(Shor’s algorithm)은 양자 컴퓨터를 사용하여 다항 시간 내에 이러한 문제를 해결할 수 있으며, 이는 사실상 현재의 모든 표준 PKI를 무력화함을 의미한다[S3].
격자 기반 암호 (Lattice-based Cryptography)
격자 기반 암호는 고차원 공간 내에서 격자(Lattice)의 기저 벡터로부터 특정 지점을 찾는 문제(예: SVP, LWE)를 난제로 사용한다. 이 문제들은 최악의 경우(worst-case)에도 풀기 어렵다는 것이 증명되어 있으며, 평균적인 경우(average-case)에도 보안이 보장된다[S4].
포스트퀀텀 표준 (ML-KEM/ML-DSA)
- ML-KEM (Module-Lattice-based Key-Encapsulation Mechanism): 키 캡슐화 메커니즘으로, 효율적인 구현과 함께 격자 기반 난제를 사용하여 양자 내성을 제공한다.
- ML-DSA (Module-Lattice-based Digital Signature Algorithm): 전자 서명 표준으로, 격자 기반 수학 구조를 사용하여 강력한 서명 무결성을 보장한다. 격자 기반 시스템은 현재 표준화 과정에서 강력한 worst-case to average-case 환산성과 효율적인 성능을 입증하여 PQC 전환의 중심이 되고 있다[S4].
WORKED EXAMPLES
해설 예제
- 예제 1: 양자 컴퓨터가 RSA에 미치는 영향 분석 - RSA는 큰 수의 소인수 분해 난이도에 기반함. 쇼어 알고리즘은 n비트 정수를 소인수 분해하는 복잡도를 지수 시간에서 다항 시간으로 줄임으로써 암호문을 즉시 해독함.
- 예제 2: 격자 기반 난제(LWE) 개념 이해 - 비밀 벡터 s와 오류 e를 추가한 선형 방정식 시스템 A*s + e = t를 고려함. 격자 기반 암호는 행렬 A와 결과 t로부터 s를 찾아내기 어렵다는 'Learning With Errors' 문제의 난이도에 기반함.
LAB PROTOCOL
격자 암호 기초 환경 구축 및 시각화
- 1
격리된 Linux/Docker 환경에서 Python 3 가상환경 생성
- 2
liboqs 라이브러리 설치 및 컴파일
- 3
격자 기반 LWE 문제의 파라미터 변화에 따른 키 크기 및 연산 시간 수집 스크립트 작성
- 4
데이터 분석 및 시각화 노트북 실행
안전 점검
- 모든 실험은 격리된 로컬 가상 환경 내에서 수행함
- 실제 운영 인증서, 개인키, 고객 데이터 사용 절대 금지
- 연구용 라이브러리를 실제 서비스 보안 수단으로 간주하지 말 것
실습 제출물
- 환경 설정 로그 및 컴파일 결과물
- 알고리즘 성능(키 크기, 시간) 비교 분석 데이터
- 격자 기반 암호 특성 보고서
ASSIGNMENT
양자 위협 분석 보고서 작성
제출물
평가 기준
- 쇼어 알고리즘의 원리를 정확히 설명함
- 격자 기반 암호의 최악의 경우 난제(worst-case hardness) 개념을 논리적으로 서술함
- 제시된 소스 [S3, S4]를 바탕으로 현대 암호가 직면한 도전을 기술함
KNOWLEDGE CHECK
이해도 점검
FIELD CHECK
완료 기준
- 이론 학습 완료 및 양자 위협 보고서 제출
- 실습 환경에서 liboqs를 이용한 기초 알고리즘 실행 성공
- 퀴즈 항목별 80% 이상의 정답률 달성
MODULE SOURCES
이 모듈의 근거
- Security in Post-Quantum Era: A Comprehensive Survey on ...ieeexplore.ieee.org · paper
- Post-Quantum Cryptography and Quantum-Safe Security: A ...arxiv.org · paper