기술 요약: QSecureMail

문제 정의

양자 컴퓨팅의 등장은 고전적인 공개 키 암호 체계에 근본적인 위협을 가하며, 현재의 이메일 시스템을 "선수집 후복호화(Harvest-Now-Decrypt-Later, HNDL)" 공격에 취약하게 만듭니다. 양자 키 분배(QKD)는 정보 이론적 보안을 제공하고 양자 내성 암호(PQC)는 알고리즘적 회복력을 제공하지만, 실제 배포 과정에서는 자원 관리라는 결정적인 병목 현상에 직면합니다. QKD 시스템은 제한적이고 가변적인 속도로 키를 생성하는 반면, 이메일 트래픽은 그 규모와 크기가 예측 불가능합니다. 기존 솔루션들은 종종 양자 하드웨어의 물리적 제약과 이메일 시스템의 동적인 요구 사항 사이의 간극을 메우지 못하여, 서비스 중단이나 비효전적인 키 소비를 초래합니다.

방법론

저자는 기존 인프라 위에서 작동하면서 QKD와 PQC를 통합하도록 설계된 이메일 클라이언트 시스템인 QSecureMail을 제안합니다. 이 시스템은 React/Vite 프런트엔드, Node.js/Express 백엔드, 그리고 ETSI GS QKD 014를 준수하는 키 관리(KM) 인프라를 기반으로 한 3계층 아키텍처로 구축되었습니다.

핵심 구성 요소

1. 적응형 보안 정책 엔진 (ASPE):
   ASPE는 실시간 "풀 상태(pool health, 가용 키와 전체 풀 크기의 비율)"에 따라 암호화 수준을 동적으로 선택하는 중앙 의사 결정 계층 역할을 합니다. 이 엔진은 부하 변동 상황에서 보안 수준 간의 급격한 진동을 방당하기 위해 히스테리시스(hysteresis) 메커니즘을 채택합니다. 엔진은 이메일 전송률($\lambda_{email}$)과 키 보충 속도를 모니터링하여 임계값을 조정함으로써, 고용량 트래픽 발생 시 키 풀이 고갈되지 않도록 보장합니다. 만약 KM 시스템에 접근할 수 없게 되면, 시스템은 클래식한 AES-256-GCM 모드(레벨 4)로 우아하게 성능을 저하시킵니다(graceful degradation).

2. 3단계 암호화 엔진:
   시스템은 보안 보장과 키 소비 사이의 균형을 맞추기 위해 세 가지 암호화 수준을 정의합니다.

   • 레벨 1 (인증된 QKD-OTP): QKD 키로부터 유도된 진정한 일회용 패드(One-Time Pad, OTP)를 사용하여 완전한 비밀성을 제공하며, 무결성을 위해 HMAC-SHA256 태그로 보강됩니다. 이 단계는 메시지당 $\lceil|m|/32\rceil + 1$개의 키를 소비하므로 매우 안전하지만 자원 집약적입니다.
   • 레벨 2 (양자 보조 AES-256-GCM): 단일 256비트 QKD 키를 사용하여 HKDF-SHA256을 통해 AES 세션 키를 유도합니다. 이는 양자 난수로 시딩된 계산적 보안을 제공하며, 페이로드 크기에 관계없이 이메일당 정확히 하나의 키를 소비합니다.
   • 레벨 3 (하이브리드 QKD⊕PQC): 본 논문의 참신한 기여 부분입니다. 이 방식은 ML-KEM-1024(FIPS 203) 인캡슐레이션으로부터 얻은 공유 비밀값($k_{PQC}$)과 QKD 유도 키($k_{QKD}$)를 비트 단위 XOR 연산($k_{fused} = k_{QKD} \oplus k_{PQC}$)을 통해 결합합니다. 이 융합된 키는 AES-256-GCM 암호화를 구동합니다. 이 구조는 QKD 채널이 안전하거나 또는 PQC 알고리즘이 깨지지 않는 한 보안을 유지합니다.

3. 보안 검증 (Security Attestation):
   시스템은 모든 메시지에 구조화된 X-QSecureMail-Security-Profile MIME 헤더를 첨부합니다. 이 헤더는 암호화 수준, 키 식별자 파편, 타임스탬프 및 알고리즘을 인코딩하여, 복호화 과정 없이도 보안 태세를 투명하게 감사할 수 있게 합니다.

주요 기여

본 논문은 네 가지 주요 기여를 식별합니다:

1. 적응형 보안 정책 엔진 (ASPE): 보안과 가용성 사이의 트레이드오프를 관리하는 운영 계층입니다. 키 풀 고갈을 방지하기 위해 히스테리시스와 온라인 캘리브레이션을 사용하며, 자원이 허용될 때 중요한 메시지를 위해 레벨 1(OTP)을 보존합니다.
2. 하이브리드 QKD⊕PQC 암호화 (레벨 3): ML-KEM-1024와 ETSI GS QKD 014 키를 결합하는 정형화된 구조입니다. 저자는 융합된 키가 적어도 하나의 구성 키가 균등 분포(uniform)라면 균등 분포와 계산적으로 구별 불가능함을 증명하는 **정리 1(Theorem 1)**을 제시하며, 이를 통해 수학적 돌파구와 물리적 채널 공격 모두에 대한 심층 방어(defense-in-depth)를 제공합니다.
3. 인증된 QKD-OTP (레벨 1): 별도의 QKD 유도 HMAC 키로 사이퍼텍스트를 인증함으로써 클래식 OTP의 가변성(malleability) 약점을 해결하는 구조입니다.
4. 투명한 보안 검증: 표준 헤더를 통해 개별 이메일의 양자 보안 태세를 기록하고 감사하는 메커니즘입니다.

결과 및 평가

저자는 참조 시스템을 구현하였으며, (ETSI 014 API를 통해 QKD 하드웨어를 시뮬레이션하는) 인프로세스 KM 시뮬레이터를 사용하여 성능 평가를 수행했습니다.

• 지연 시간 (Latency):
  • 레벨 1 (OTP): 순차적인 키 추출로 인해 페이로드 크기에 따라 선형적으로 증가합니다. 100 KB 메시지의 경우 평균 지연 시간은 1.373 ms입니다.
  • 레벨 2 (QKD-AES): 단 하나의 키 추출만 필요하므로 지연 시간이 낮고 크기에 따른 변화가 미미합니다 (10 KB 기준 0.170 ms).
  • 레벨 3 (하이브리드): ML-KEM-1024 인캡슐레이션으로 인한 고정된 계산 오버헤드가 발생합니다. 평균 지연 시간은 모든 페이로드 크기(1 KB ~ 100 KB)에 대해 약 2.2~2.7 ms입니다. 이는 하이브리드 방식이 비례적인 비용이 아닌 고정된 비용을 추가함을 확인시켜 줍니다.
• 키 소비 및 풀 지속 가능성:
  • 레벨 1은 10 KB 이메일당 약 321개의 키($\kappa_1 \approx 321$)를 소비하는 반면, 레벨 2와 3은 단 1개의 키($\kappa_{2,3} = 1$)만을 소비합니다.
  • 시뮬레이션 결과, 시간당 100개의 이메일이 발생하는 환경에서 1,000개의 키를 가진 풀은 레벨 1의 경우 약 1.87분 만에 고갈되지만, 레벨 2와 3의 경우 약 10시간 동안 지속됩니다. 이 321배의 차이는 ASPE의 적응형 임계값의 필요성을 입증합니다.
• 정확성: 유닛 테스트를 통해 라운드트립(round-trip)의 정확성, 사이퍼텍스트 무결성(변조 탐지), 키 격리(수신자 바인딩), 그리고 QKD와 PQC 구성 요소 간의 독립성을 확인했습니다.

의의 및 주장

본 논문은 QSecureMail이 하위 이메일 전송 프로토콜(SMTP/IMAP)의 변경 없이 기존 인프라 상에서 양자 내성 이메일을 배포할 수 있는 실현 가능한 접근 방식을 제공한다고 주장합니다.

• 실용성: 양자 하드웨어 경계(ETSI 014 API)를 애플리케이션 로직과 분리함으로써, 물리적 QKD 하드웨어가 준비되는 대로 시스템에 통합할 수 있습니다.
• HNDL 저항성: 매 메시지마다 새로운 QKD 유도 키를 사용함으로써 HNDL 위협에 직접 대응하며, 공격자가 향후 양자 컴퓨터를 획득하더라도 저장된 사이퍼텍스트를 복호화할 수 없도록 보장합니다.
• 심층 방어 (Defense-in-Depth): 레벨 3 하이브리드 방식은 견고한 폴백(fallback)을 제공합니다. PQC 알고리즘이 깨지더라도 (하드웨어 구성 시) QKD 구성 요소가 보안을 유지하고, 그 반대의 경우도 마찬가지입니다.
• 운영 연속성: ASPE는 높은 부하나 키 부족 상황에서도 보안이 중요한 메시지의 보안을 유지하면서, 덜 자원 집약적인 암호화 수준으로 동적으로 강등함으로써 이메일 서비스의 가용성을 보장합니다.

저자는 현재 구현이 소프트웨어 KM 시뮬레이터에 의존하고 있음을 인정하며, 향-후 연구로서 물리적 QKD 하드웨어와의 통합, 교차 인스턴스 키 분배, 그리고 정책 엔진에 대한 형식 검증(formal verification)을 다루어야 한다고 밝히며 신중한 입장을 유지합니다. 그러나 이 아키텍처는 현재의 범용 클라이언트 하드웨어와 표준화된 인터페이스를 사용하여 양자 내성 이메일로의 전환이 가능하다는 것을 보여줍니다.