A provably secure authenticated key agreement protocol for wireless communications

Authors:
Hua Guo;Chang Xu;Yi Mu;Zhoujun Li
Affiliations:
School of Computer Science and Engineering, Beihang University, Beijing, People's Republic of China;School of Computer Science and Engineering, Beihang University, Beijing, People's Republic of China;School of Computer Science Software Engineering, University of Wollongong, NSW, Australia;State Key Laboratory of Software Development Environment, Beihang University, Beijing, People's Republic of China
Venue:
Computers and Electrical Engineering
Year:
2012

Citing 12
Cited 2

Use of elliptic curves in cryptography

Lecture notes in computer sciences; 218 on Advances in cryptology---CRYPTO 85
Augmented encrypted key exchange: a password-based protocol secure against dictionary attacks and password file compromise

CCS '93 Proceedings of the 1st ACM conference on Computer and communications security
Entity authentication and key distribution

CRYPTO '93 Proceedings of the 13th annual international cryptology conference on Advances in cryptology
An Efficient Protocol for Authenticated Key Agreement

Designs, Codes and Cryptography
Protocols for Key Establishment and Authentication

Protocols for Key Establishment and Authentication
On the Security Analysis of Lee, Hwang & Lee (2004) and Song & Kim (2000) Key Exchange / Agreement Protocols

Informatica
Authenticated key exchange secure against dictionary attacks

EUROCRYPT'00 Proceedings of the 19th international conference on Theory and application of cryptographic techniques
Provably secure password-authenticated key exchange using Diffie-Hellman

EUROCRYPT'00 Proceedings of the 19th international conference on Theory and application of cryptographic techniques
Cryptanalysis of Lu et al.'s Password-Based Authenticated Key Agreement Protocol

MMIT '10 Proceedings of the 2010 Second International Conference on MultiMedia and Information Technology - Volume 02
On session key construction in provably-secure key establishment protocols

Mycrypt'05 Proceedings of the 1st international conference on Progress in Cryptology in Malaysia
Interactive diffie-hellman assumptions with applications to password-based authentication

FC'05 Proceedings of the 9th international conference on Financial Cryptography and Data Security
Simple password-based encrypted key exchange protocols

CT-RSA'05 Proceedings of the 2005 international conference on Topics in Cryptology

A cyber-physical experimentation environment for the security analysis of networked industrial control systems

Computers and Electrical Engineering
Cryptanalysis of truong et al.'s fingerprint biometric remote authentication scheme using mobile device

BICS'13 Proceedings of the 6th international conference on Advances in Brain Inspired Cognitive Systems

Quantified Score

Hi-index	0.00

Visualization

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.