Design and Analysis of an Authentication Protocol for Digital Mobile Communication System
Wang Quan-lai①②; Han Ji-hong①; Wang Ya-di①
①Institute of Electronic Technology, the PLA University of Information Engineering, Zhengzhou 450004, China; ②Air Defense Forces Command College, Zhengzhou 450052, China
Abstract:This paper designs a communion key distribution protocol based on asymmetric cipher system, and an authentication protocol based on symmetric cipher system for the requirement of digital mobile communication system. Then this protocol is analyzed by using the Spi calculus and its security is proved.
王全来; 韩继红; 王亚弟 . 数字移动通信系统中认证协议的设计与分析[J]. 电子与信息学报, 2007, 29(1): 189-192 .
Wang Quan-lai; Han Ji-hong; Wang Ya-di. Design and Analysis of an Authentication Protocol for Digital Mobile Communication System. , 2007, 29(1): 189-192 .