Skip to main content
Article
A provably secure authenticated key agreement protocol for wireless communications
Faculty of Informatics - Papers (Archive)
  • Hua Guo
  • Chang Xu
  • Yi Mu, University of Wollongong
  • Zhoujun Li
RIS ID
55311
Publication Date
1-1-2012
Publication Details

Guo, H., Xu, C., Mu, Y. & Li, Z. (2012). A provably secure authenticated key agreement protocol for wireless communications. Computers and Electrical Engineering, 38 (3), 563-572.

Abstract
Designing elliptic curve password-based authenticated key agreement (ECPAKA) protocols for wireless mobile communications is a challenging task due to the limitation of bandwidth and storage of the mobile devices. Some well-published ECPAKA protocols have been proved to be insecure. We notice that until now none of the existing ECPAKA protocols for wireless mobile communication is provided any formal security analysis. In this paper, we propose a novel protocol and conduct a formal security analysis on our protocol. Compared with other ECPAKA protocol, our protocol meets all basic security properties and is the first ECPAKA protocol with formal security proof for wireless communication. We also explore the suitability of the novel protocol for 3GPP2 specifications and improve the A-Key (Authentication Key) distribution for current mobile cellular systems.
Citation Information
Hua Guo, Chang Xu, Yi Mu and Zhoujun Li. "A provably secure authenticated key agreement protocol for wireless communications" (2012) p. 563 - 572
Available at: http://works.bepress.com/ymu/15/