基于GSM网络端到端加密通信的认证密钥交换协议设计

摘要：

GSM系统不能提供手机端到端的安全通信，需要一种新型端到端加密技术来实现手机的安全通信。本文针对该新型端到端加密技术中的密钥协商机制要求，提出一种基于GSM网络端到端加密通信的认证密钥交换协议，该协议兼顾了协议的安全性和手机存储空间小，计算能力弱等特点。本文应用串空间模型理论及Authentication test方法形式化分析了该协议，证明了该协议能够提供消息的机密性，以及通信双方双向认证的正确性。

关键词： GSM系统 端到端加密通信 认证密钥交换协议

作者: 张卓立 蒋睿 胡爱群

作者单位: 东南大学信息科学与工程学院，南京，210096

会议类型: 国内会议

会议名称: 第六届中国信息和通信安全学术会议(CCICS”2009)

会议地点: 南京

会议语种:中文

页码: 201-207

在线出版日期: 2009-05-30（万方平台首次上网日期，不代表论文的发表时间）