하이브리드 포스트양자 키 교환은 TLS·SSH·IKE에서 표준화된 방식으로, 양자내성 KEM인 ML-KEM과 고전 Diffie-Hellman을 병행해 세션 키를 보호한다. 그러나 기존 방식은 어떤 암호 조합을 쓸지 정하는 협상 과정 자체의 무결성은 보장하지 않아, 능동적 공격자가 포스트양자 옵션을 제거하는 다운그레이드 공격이 가능했다. 연구진은 세션 키와 확인 태그를 협상 기록(transcript)의 해시에 결속시키는 콤바이너가 이런 다운그레이드 공격을 원천 차단함을 게임 기반 정의와 증명으로 보였다. Cortex-M4 실측 기반 비용 모델에서는 전사 결속에 핸드셰이크 연산의 약 11.8%, 무선 포함 에너지의 1.5%만 추가되며 통신량 증가는 없었다. 임베디드 기기에서도 실용적인 비용으로 다운그레이드에 강한 포스트양자 보안을 구현할 수 있음을 보여준다.
- •하이브리드 KEM은 세션 키는 보호하지만 어떤 암호를 쓸지 정하는 협상 과정의 무결성은 보장하지 않는다
- •세션 키와 확인 태그를 협상 기록 해시에 결속하는 콤바이너가 다운그레이드 공격을 완전히 차단함을 증명했다
- •Cortex-M4 기준 전사 결속 비용은 핸드셰이크 연산 11.8%, 무선 에너지 1.5% 추가에 그치고 통신량은 그대로다
- •결과는 30개 검증 항목을 통과한 공개 하네스로 재현 가능하게 산출됐다
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
Transcript-Bound Combiners for Downgrade-Resilient Hybrid Post-Quantum Key Establishment: Definition, Proof, and Embedded-Device Cost
- 1.TLS·SSH·IKE에 표준화된 하이브리드 PQ 키교환(ML-KEM+고전 DH)이 협상 무결성은 보호하지 못해 PQ 옷션 제거 공격에 취약
- 2.전사(transcript) 해시를 세션키·확인태그에 결합하면 다운그레이드 공격을 확실히 차단함을 게임기반으로 증명
- 3.Cortex-M4 비용모델 기준 결합 비용은 핸드셰이크 연산의 11.8%, 무선 에너지의 1.5%에 불과
왜 중요한가?
포스트양자 전환기의 하이브리드 키교환이 세션키는 지켜도 '어떤 알고리즘을 쓸지'에 대한 협상 자체는 무방비였다는 맹점을 드러내고, 거의 공짜에 가까운 비용으로 이를 막는 구체적 설계 규칙(전사 결합)을 제시한다.
언급 프로젝트
본문 미리보기
arXiv:2609.21273v1 Announce Type: new Abstract: Hybrid key establishment runs a post-quantum key-encapsulation mechanism (KEM) alongside a classical Diffie-Hellman primitive, so that the session key stays secure while either component resists attack. This design is now standardized in the Transport Layer Security protocol, Secure Shell, and the Internet Key Exchange, with the standardized module-lattice KEM (ML-KEM) as the post-quantum component. A hybrid KEM secures the derived key, but not th
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 11:24AI 초안
