Journal of Electrical Engineering and information Science

The Korean Institute of Electrical Engineers (대한전기학회)
권호 표지

Verification of Authentication Protocol for CDMA Mobile Communication Network

  • Hong, Ki-Yoong (The senior Researcher National Computerization Agency) ;
  • Kim, Seok-Woo (Electronics and Telecommunications Research Institute) ;
  • Kim, Dong-Kyoo (Department of Computer Engineering, Ajou University)
  • Published : 1996.03.01
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, we present an analysis of the IS-95 authentication protocol for the Code Division Multiple Access(CDMA) mobile communication network. We propose a mutual authentication protocol, AP-6, to improve the security and correctness. Formal description and verification of the proposed AP-6 are also presented on the basis of the formal logic. It is shown that the proposed AP-6 is more secure and correct than the IS-95 authentication protocol.

Keywords