未找到相关数据
基于串空间模型的3GPP认证密钥交换协议分析
被引：5
作者：
蒋睿
李建华
潘理
机构：
[1] 上海交通大学电子工程系
来源：
关键词：
密钥交换协议;
串空间模型;
认证测试方法;
第3代伙伴计划;
认证协议;
形式化方法;
D O I：
10.16183/j.cnki.jsjtu.2006.05.019
中图分类号：
TN929.5 [移动通信];
学科分类号：
080402 ;
080904 ;
0810 ;
081001 ;
摘要：
基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法.由此提出了一种改进的3GPP认证密钥交换协议以克服原协议存在的缺陷,应用串空间模型理论及认证测试方法形式化证明了该改进协议在不安全的信道上可确保消息的保密性,移动用户和服务网络间的双向认证,以及消息加密密钥和完整性密钥的新鲜性.
引用
收藏
页码：791 / 795
页数：5
相关论文