[논문 리뷰] A New Family of Practical Non-Malleable Diffie-Hellman Protocols

Andrew Chi-Chih Yao, Yunlei Zhao|arXiv (Cornell University)|2011. 05. 05.

Cryptography and Data Security참고 문헌 26인용 수 3

한 줄 요약

이 논문은 보안성, 효율성, 구현 용이성 측면에서 HMQV를 능가하는 실용적이고 비변형성(Diffie-Hellman 키 교환 프로토콜의 새로운 가족인 OAKE 및 sOAKE를 소개한다. 무작위 오ракulum 모델에서 비변형성 공동 지식 증명(NMJPOK)을 활용함으로써, 키 유출 모조행위(KCI) 및 약한 프론트엔드 기밀성(wPFS)에 대한 저항력을 포함한 더 강력한 보안 보장을 달성하며, 동시에 Canetti-Krawczyk(CK) 프레임워크를 초월하는 HMQV의 새로운 취약점도 규명한다.

ABSTRACT

Cryptography algorithm standards play a key role both to the practice of information security and to cryptography theory research. Among them, the MQV and HMQV protocols ((H)MQV, in short) are a family of (implicitly authenticated) Diffie-Hellman key-exchange (DHKE) protocols that are widely standardized and deployed. In this work, from some new perspectives and approaches and under some new design rationales and insights, we develop a new family of practical implicitly authenticated DHKE protocols, which enjoy notable performance among security, privacy, efficiency and easy deployment. We make detailed comparisons between our new DHKE protocols and (H)MQV, showing that the newly developed protocols outperform HMQV in most aspects. Along the way, guided by our new design rationales, we also identify a new vulnerability (H)MQV, which brings some new perspectives (e.g., computational fairness) to the literature.

연구 동기 및 목표

• HMQV를 보다 뛰어난 보안성, 효율성, 구현 용이성으로 뛰어넘는 실용적이고 암시적 인증 기반의 디피-헬먼 키 교환 프로토콜의 새로운 가족을 설계하는 것.
• 안정적인 동시 키 교환 프로토콜을 구축하기 위한 새로운 설계 논리와 도구—특히 비변형성 공동 지식 증명(NMJPOK)—를 개발하는 것.
• Canetti-Krawczyk(CK) 보안 프레임워크의 범위를 초월하는, 이전에 알려지지 않은 HMQV의 취약점을 규명하고 분석하는 것.
• 새로운 프로토콜(s)OAKE가 표준 가정 하에 키 유출 모조행위(KCI) 공격 및 약한 프론트엔드 기밀성(wPFS)에 대한 저항성과 같은 더 강력한 보안 성질을 제공하는지 보여주는 것.
• 새로운 설계 원칙과 도구(예: 비변형성 추출 가능 단방향 함수(NME-OWF))가 키 교환 외에도 영향을 미치며, 제로 지식 증명 및 신원 기반 암호화 등에 응용 가능하다는 것을 입증하는 것.

제안 방법

• 비변형성 공동 지식 증명(NMJPOK)이라는 새로운 원리에 기반한 프로토콜 가족으로, 동시 환경에서 비밀 키와 DH 지수 지식에 대한 비변형성 증명을 가능하게 한다.
• OAKE 및 sOAKE 프로토콜은 NMJPOK를 사용하여 공개 키와 일시적 지수를 묶어, 변형 및 모조행위 공격을 방지한다.
• 보안은 랜덤 오라클 모델에서 계산적 디피-헬먼(CDH) 및 일반화된 CDH(GDH) 가정에 기반한 감소를 통해 증명된다.
• 효율성 향상과 실용적 구현을 지원하기 위해 오프라인 사전 계산을 통합하여 설계되었다.
• 세션 키 계산의 공정성과 함께, 한 당사자의 정적 비밀 키를 완전히 안다 해도, 세션이 깨끗한 경우 세션 키는 무작위와 구분 불가능하다는 것을 보장한다.
• 형식적 보안 모델이 적용되었으며, 깨끗한 세션, 키 유출 모조행위(KCI), 약한 프론트엔드 기밀성(wPFS) 등의 정의를 포함하여 프로토콜 성질을 철저히 분석한다.

실험 결과

연구 질문

• RQ1 보안성, 효율성, 구현 용이성 측면에서 HMQV를 능가하면서도 강력한 인증 보장을 유지하는 새로운 DHKE 프로토콜 가족을 설계할 수 있는가?
• RQ2 동시적 공격 환경에서 비변형성 공동 지식 증명을 달성하기 위해 어떤 새로운 설계 원칙과 암호 도구가 필요한가?
• RQ3 HMQV 프로토콜은 Canetti-Krawczyk(CK) 보안 프레임워크의 범위를 초월하는 취약성이 존재하는가?
• RQ4 새로운 프로토콜이 표준 가정 하에 키 유출 모조행위(KCI) 및 약한 프론트엔드 기밀성(wPFS)에 저항할 수 있는가?
• RQ5 비변형성 추출 가능 단방향 함수(NME-OWF)와 같은 새로운 설계 논리와 도구로부터 어떤 더 넓은 암호학적 응용이 유도될 수 있는가?

주요 결과

• OAKE 및 sOAKE 프로토콜은 랜덤 오라클 모델에서 GDH 가정 하에 키 유출 모조행위(KCI) 공격에 저항하며, 이 보안은 기반 OAKE-HDR/sOAKE-HDR 구조에 의존한다.
• 프로토콜은 표준 CDH 가정 하에 약한 프론트엔드 기밀성(wPFS)을 달성하며, 더 강력한 가정이나 복잡한 위조 생성 기법을 요구하지 않는다.
• HMQV에 대해 이전에 알려지지 않은 취약점이 발견되었으며, 이는 세션 키 계산의 공정성과 비변형성 증명 조합의 맥락에서 CK 프레임워크의 범위를 초월한다.
• 새로운 설계 논리와 도구(예: NMJPOK)는 키 교환 외에도 효과적이며, 독립적인 관심사로 작용하여 비변형성 추출 가능 단방향 함수(NME-OWF) 등의 새로운 구성법을 가능하게 한다.
• sOAKE 프로토콜은 보안성, 프라이버시, 효율성, 구현 용이성 간의 최적의 균형을 달성하여 실제 시스템에서 HMQV를 대체할 강력한 후보로 부상한다.
• 논문은 HMQV가 새로이 규명된 취약점에 대해 보안적으로 패치할 수 없으며, 이는 CK 프레임워크 내에서의 증명 가능 보안성과 (s)OAKE의 다른 장점을 포기해야 한다는 것을 입증한다.