Title :
An Efficient Three-Party Authenticated Key Exchange Protocol with One-Time Key
Author :
Lv, Chao ; Ma, Maode ; Li, Hui ; Ma, Jianfeng
Author_Institution :
Key Lab. of Comput. Networks & Inf. Security, Xidian Univ., Xi´´an, China
Abstract :
Three-party authenticated key exchange protocol (3PAKE) is an important cryptographic technique for secure communication which allows two parties to agree a new secure session key with the help of a trusted server. In this paper, we proposed a new three-party authenticated key exchange protocol which aims to achieve more efficiency with the same security level of other existing 3PAKE protocols. Security analysis and formal verification using AVISPA tools show that the proposed protocol is secure against various known attacks. Comparing with other typical 3PAKE protocols, the proposed protocol is more efficient with less computation complexity.
Keywords :
cryptographic protocols; formal verification; telecommunication security; formal verification; one-time key; secure communication; security analysis; three-party authenticated key exchange protocol; Authentication; Communications Society; Computer networks; Cryptographic protocols; Cryptography; Dictionaries; Information security; Laboratories; Network servers; Public key;
Conference_Titel :
INFOCOM IEEE Conference on Computer Communications Workshops , 2010
Conference_Location :
San Diego, CA
Print_ISBN :
978-1-4244-6739-6
Electronic_ISBN :
978-1-4244-6739-6
DOI :
10.1109/INFCOMW.2010.5466648
