[논문 리뷰] Weakness Analysis and Improvement of a Gateway-Oriented Password-Based Authenticated Key Exchange Protocol

Debiao He, Jianhua Chen외 1명|arXiv (Cornell University)|2010. 01. 18.

Advanced Authentication Protocols Security참고 문헌 9인용 수 6

한 줄 요약

이 논문은 게이트웨이 기반의 암호 기반 인증 키 교환(GPAKE) 프로토콜에서 심각한 보안 결함을 규명한다. 특히 탐지되지 않는 온라인 암호 추측 공격과 암묵적 키 확인 기능의 부재가 포함된다. 저자들은 강화된 암호 기반 메커니즘과 상호 인증을 통해 이러한 공격에 저항하는 강화된 프로토콜을 제안하여 효율성을 희생시키지 않은 채 보안을 향상시킨다.

ABSTRACT

Recently, Abdalla et al. proposed a new gateway-oriented password-based authenticated key exchange (GPAKE) protocol among a client, a gateway, and an authentication server, where each client shares a human-memorable password with a trusted server so that they can resort to the server for authentication when want to establish a shared session key with the gateway. In the letter, we show that a malicious client of GPAKE is still able to gain information of password by performing an undetectable on-line password guessing attack and can not provide the implicit key confirmation. At last, we present a countermeasure to against the attack.

연구 동기 및 목표

• 최근 제안된 게이트웨이 중심의 암호 기반 인증 키 교환(GPAKE) 프로토콜의 보안 취약점을 규명하고 분석하는 것.
• 악성 클라이언트가 탐지되지 않는 온라인 암호 추측 공격을 수행할 수 있음을 보여주어 사용자 암호 보안을 위협함을 입증하는 것.
• 기존 GPAKE 프로토콜이 암묵적 키 확인 기능을 제공하지 않아 상호 인증 보장을 약화시킴을 보여주는 것.
• 제안된 대응 조치를 통해 공격에 저항하면서도 효율성과 사용성을 유지하는 프로토콜 강화를 위한 것.

제안 방법

• 인증 및 키 교환 단계에서의 취약점을 규명하기 위해 원본 GPAKE 프로토콜의 메시지 교환 흐름을 분석하는 것.
• 공격자가 프로토콜 설계의 결함을 악용하여 탐지되지 않는 방식으로 온라인 암호 추측 공격을 수행할 수 있음을 입증하는 것.
• 반복적인 시도 중 암호 泄露를 방지하기 위해 더 강력한 암호 기반 원소를 통합한 수정된 프로토콜을 도입하는 것.
• 상호 인증 메시지에 세션 키를 바인딩하여 프로토콜에 암묵적 키 확인 기능을 강화하는 것.
• 활동적 및 수동적 공격자에 대비한 보안 모델을 공식화하여 강화된 프로토콜의 보안성을 보장하는 것.
• 기존 설계의 결함와 비교하여 기호 기반 검증을 통해 프로토콜의 보안성을 검증하는 것.

실험 결과

연구 질문

• RQ1 악성 클라이언트가 원본 GPAKE 프로토콜에 대해 탐지되지 않는 온라인 암호 추측 공격을 수행할 수 있는가?
• RQ2 원본 GPAKE 프로토콜은 상호 인증을 보장하기 위해 암묵적 키 확인을 제공하는가?
• RQ3 게이트웨이 중심 키 교환 환경에서 암호 泄露를 방지하기 위해 필요한 암호 기반 강화는 무엇인가?
• RQ4 효율성을 유지하면서도 온라인 추측 공격에 대한 저항력을 강화하기 위해 프로토콜는 어떻게 수정할 수 있는가?
• RQ5 강화된 프로토콜은 현실적인 위협 모델에서 수동 및 활동적 공격자에 대해 안전한가?

주요 결과

• 원본 GPAKE 프로토콜은 탐지되지 않는 온라인 암호 추측 공격에 취약하여, 공격자가 감지 메커니즘을 유발하지 않고도 암호를 테스트할 수 있다.
• 프로토콜는 암묵적 키 확인 기능을 제공하지 않아, 한 당사자가 다른 당사자가 동일한 세션 키를 성공적으로 계산했는지 보장할 수 없다.
• 제안된 대응 조치는 더 강력한 인증 검증 및 키 바인딩을 통해 온라인 암호 추측 공격에 효과적으로 저항한다.
• 강화된 프로토콜는 암묵적 키 확인을 달성하여 상호 인증을 보장하고 전체 프로토콜의 보안성을 향상시킨다.
• 수정 사항은 계산 및 통신 오버헤드를 크게 증가시키지 않아 실세계 구현에 적합한 효율성을 유지한다.
• 형식적 분석을 통해 표준 보안 가정 하에 알려진 공격, 특히 활동적 공격자에 대비한 강화된 프로토콜의 저항성이 확인되었다.