Efficient and Secure Authenticated Key Exchange Protocols in the eCK Model

スポンサーリンク

概要

• 論文の詳細を見る

• In this paper, we propose two authenticated key exchange (AKE) protocols and prove their security in the extended Canetti-Krawczyk model. The first protocol, called NAXOS+, is obtained by slightly modifying the NAXOS protocol proposed by LaMacchia, Lauter and Mityagin [15]. We prove its security under the Computational Diffie-Hellman (CDH) assumption by using the trapdoor test introduced in [6]. To the authors knowledge, this is the first AKE protocol which is secure under the CDH assumption in the eCK model. The second protocol, called NETS, enjoys a simple and tight security reduction compared to existing schemes including HMQV and CMQV without using the Forking Lemma. Since each session of the NETS protocol requires only three exponentiations per party, its efficiency is also comparable to MQV, HMQV and CMQV.

• （社）電子情報通信学会の論文
• 2011-01-01

著者

• LEE Jooyoung

  Electronics and Telecommunications Research Institute (ETRI)

• PARK Je

  Electronics and Telecommunications Research Institute (ETRI)

• Park Je

  Electronics And Telecommunications Res. Inst. (etri) Daejeon Kor

• Lee Jooyoung

  Electronics And Telecommunications Res. Inst. (etri) Daejeon Kor

関連論文

• The Security of Abreast-DM in the Ideal Cipher Model
• Efficient and Secure Authenticated Key Exchange Protocols in the eCK Model
• Security Analysis of a Variant of Self-Shrinking Generator
• The Security of Abreast-DM in the Ideal Cipher Model
• Efficient and Secure Authenticated Key Exchange Protocols in the eCK Model

スポンサーリンク