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)
  • 발행 : 1996.03.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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.

키워드