移动通信系统中的用户认证和密钥协商协议  

Authentication and Key Agreement Protocol in Mobile Communication Systems

作　　者：唐曙晖[1] 谷大武[1] 

机构地区：[1]上海交通大学计算机系,上海200030

出　　处：《通信技术》2005年第S1期146-149,共4页Communications Technology

摘　　要：为端到端保密移动通信系统设计了用户认证和密钥协商协议,该协议基于公钥密码体制。采用SVO逻辑对协议的安全性进行了形式化证明,对协议的计算复杂性进行了定性分析。分析表明,所提出的协议是安全且高效的。Based on public-key cryptography, this paper presents anauthenticationand key agreement protocol for end-to-end security mobile communication systems. Then the formalized security proof of the protocol using the SVO authentication logic, and the qualitative analysis about its computing complexity are given. Results show that the proposed protocol is secure and effective.

关 键 词：认证协议 端到端保密 SVO认证逻辑 

分 类 号：TN929.5[电子电信—通信与信息系统]