[논문 리뷰] An Efficient Bilinear Pairing-Free Certificateless Two-Party Authenticated Key Agreement Protocol in the eCK Model

Yong-Jin Kim, Yongmin Kim외 2명|arXiv (Cornell University)|2013. 04. 01.

Security in Wireless Sensor Networks인용 수 10

한 줄 요약

이 논문은 타원곡선 군에서 스칼라 곱셈의 수를 최소화하여 계산 오버헤드를 줄이는 효율적인 이중선형 페어링 기반의 증명서 없는 양자 간 인증 키 협상 프로토콜을 제안한다. 이는 랜덤 오라클 환경에서 eCK 모델 하에서 증명 가능한 보안을 달성하며, 이전 작업 대비 향상된 효율성을 제공하면서도 강력한 보안 보장을 유지한다.

ABSTRACT

Recent study on certificateless authenticated key agreement focuses on bilinear pairing-free certificateless authenticated key agreement protocol. Yet it has got limitations in the aspect of computational amount. So it is important to reduce the number of the scalar multiplication over elliptic curve group in bilinear pairing-free protocols. This paper proposed a new bilinear pairing-free certificateless two-party authenticated key agreement protocol, providing more efficiency among related work and proof under the random oracle model.

연구 동기 및 목표

• 기존의 이중선형 페어링 기반 증명서 없는 키 협상 프로토콜의 높은 계산 비용을 해결하기 위해.
• 페어링 기반 기법에서 주요 성능 저하 요인인 타원곡선 군에서의 스칼라 곱셈 수를 최소화하기 위해.
• 효율적이면서도 eCK 모델 하에서 증명 가능한 보안을 갖춘 양자 간 인증 키 협상 프로토콜을 설계하기 위해.
• 증명서 없는 환경에서 강력한 보안 성질을 유지하면서도 계산 복잡도를 낮추어 이전 작업을 향상시키기 위해.

제안 방법

• 이중선형 페어링을 제거하기 위해 최적화된 스칼라 곱셈 연산을 사용하는 타원곡선 암호 기법을 적용한다.
• 키 유출 및 증명서 관리 문제를 방지하기 위해 증명서 없는 아키텍처를 채택한다.
• 키 교환 메커니즘은 각 당사자당 단지 두 번의 스칼라 곱셈만을 요구하도록 설계되어 계산을 크게 줄였다.
• 표준 암호학적 감소 기법을 사용하여, 랜덤 오라클 가정 하에 eCK 모델에서 보안을 증명한다.
• 가짜 신원 위협 및 키 제어 공격을 방어하기 위해 도전-응답 메커니즘을 통합한다.
• 앞선 기밀성 보장 및 알려진 공격(예: 키 유출 가짜 신원 공격)에 저항할 수 있도록 설계된다.

실험 결과

연구 질문

• RQ1 보안을 희생시키지 않고 증명서 없는 키 협상 프로토콜에서 스칼라 곱셈의 수를 어떻게 최소화할 수 있는가?
• RQ2 이중선형 페어링 기반 프로토콜이 효율성을 유지하면서도 eCK 모델에서 증명 가능한 보안을 달성할 수 있는가?
• RQ3 안전하고 증명서 없는 양자 간 인증 키 교환에 필요한 최소 계산 비용은 무엇인가?
• RQ4 제안된 프로토콜은 기존의 페어링 기반 증명서 없는 프로토콜에 비해 얼마나 효율적인가?
• RQ5 증명서 없는 환경에서 효율성과 강력한 보안을 동시에 달성하기 위한 필수 조건은 무엇인가?

주요 결과

• 제안된 프로토콜은 각 당사자당 단지 두 번의 스칼라 곱셈만을 요구하여, 이전의 페어링 기반 기법 대비 계산 비용을 줄였다.
• 랜덤 오라클 가정 하에 eCK 모델에서 증명 가능한 보안을 달성하여 활성 공격에 저항함을 보장한다.
• 계산 비용이 높은 이중선형 페어링이 제거되어 성능 향상이 이루어졌다.
• 프로토콜은 키 유출 가짜 신원 공격 및 가짜 신원 공격에 대해 공식적으로 보안이 입증되었다.
• 보안 증명은 랜덤 오라클 모델에서 표준 가정에 기반하여 강력한 암호학적 보장을 제공한다.
• 스칼라 곱셈 횟수 측면에서 이전 작업보다 더 효율적임이 입증되었다.