| 数字移动通信系统中认证协议的设计与分析 |
| |
| 引用本文： | 王全来,韩继红,王亚弟.数字移动通信系统中认证协议的设计与分析[J].电子与信息学报,2007,29(1):189-192. |
| |
| 作者姓名： | 王全来 韩继红 王亚弟 |
| |
| 作者单位： | 1. 解放军信息工程大学电子技术学院,郑州,450004;解放军防空兵指挥学院,郑州,450052
2. 解放军信息工程大学电子技术学院,郑州,450004 |
| |
| 摘 要： | 该文针对数字移动通信系统的背景和需求, 基于公钥密码体制设计了一个端端密钥分发协议，基于对称密码体制设计了一个身份认证协议，并利用Spi演算对身份认证协议进行了分析，证明了其安全性。
|
| 关 键 词： | 查询系统 认证协议 Spi演 |
| 文章编号： | 1009-5896（2007）01-0189-04 |
| 收稿时间： | 2005-03-28 |
| 修稿时间： | 2006-04-10 |
Design and Analysis of an Authentication Protocol for Digital Mobile Communication System |
| |
| Wang Quan-lai,Han Ji-hong,Wang Ya-di.Design and Analysis of an Authentication Protocol for Digital Mobile Communication System[J].Journal of Electronics & Information Technology,2007,29(1):189-192. |
| |
| Authors: | Wang Quan-lai Han Ji-hong Wang Ya-di |
| |
| Affiliation: | 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. |
| |
| Keywords: | Network-inquiry system Authentication protocol Spi calculus |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
