|
|
|
| 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.
|
|
Received: 28 March 2005
|
|
|
|
|
|
|
|
|
2007, Vol. 29 
