DocumentCode
2383924
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
fYear
2010
fDate
15-19 March 2010
Firstpage
1
Lastpage
5
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/INFCOMW.2010.5466648
Filename
5466648
Link To Document