L. J. Zhang, “A Provably Secure Authenticated Key Exchange Protocol,” IEEE International Conference on Wireless Communications, Networking and Information Security, Beijing, 25-27 June 2010, pp. 292-297.

has been cited by the following article:

• TITLE: TUP: A New eCK-Secure AKE Protocol under the CDH Assumption

  AUTHORS: Qinglei Zhou, Zengfu Yang

  KEYWORDS: Authenticated Key Exchange; Provable Security; eCK Model; Computational Diffie-Hellman Assumption; Trapdoor Test

  JOURNAL NAME: International Journal of Communications, Network and System Sciences, Vol.5 No.6, June 12, 2012

  ABSTRACT: The design and analysis of authenticated key exchange protocol is an important problem in information security area. At present, extended Canetti-Krawczyk (eCK) model provides the strongest definition of security for two party key agreement protocol, however most of the current secure protocols can not be prove to secure without Gap assumption. To avoid this phenomenon, by using twinning key technology we propose a new two party key agreement protocol TUP which is obtained by modifying the UP protocol, then in conjunction with the trapdoor test, we prove strictly that the new protocol is secure in eCK model. Compared with previous protocols, the security assumption of new proposal is more standard and weaker, and it also solves an open problem in ProvSec'09.