3GPP AKA协议的两个漏洞与改进

摘要：

Zhang 已指出3GPP AKA协议可能存在安全漏洞，但没有给出形式化证明。本文使用Petri网工具对3GPP AKA协议进行建模和验证，找到了该协议存在的两个漏洞：1）攻击者可以对无线通信实施重定向，从而导致潜在的高收费问题；2）原协议的“重同步”机制会遭受重放攻击。同时也使用Petri网工具验证了Zhang 改进的3GPP AKA协议是正确的。

关键词： 安全协议 安全漏洞 无线通信

作者: 关展鹏 龙冬阳 崔焱

作者单位: 中山大学计算机科学系，广州510275

会议类型: 国内会议

会议名称: 2005中国计算机大会

会议地点: 武汉

会议语种:中文

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