Journal
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS
Volume 36, Issue 1, Pages 498-503Publisher
ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
DOI: 10.1016/j.jnca.2012.04.006
Keywords
Key exchange; Three-party; Protocol; Formal verification; AVISPA
Categories
Funding
- National Natural Science Foundation of China [60772136, 61003300]
- 111 Development Program of China [B08038]
- Doctoral Fund of Ministry of Education of China [20100203110002]
- Fundamental Research Funds for the Central Universities [JY10000901018, JY10000901021, JY10000901032, JY10000901034]
Ask authors/readers for more resources
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 propose 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. (C) 2012 Elsevier Ltd. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available