Verification of Authentication Protocol for CDMA Mobile Communication Network
Ki-Yoong Hong, Seok Woo Kim, Dong‐Kyoo Kim · Journal of Electrical Engineering and Information Science · 1996
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.