| 基于KG逻辑的3GPP AKA协议形式化分析与改进 |
| |
| 引用本文： | 关展鹏.基于KG逻辑的3GPP AKA协议形式化分析与改进[J].中山大学研究生学刊(自然科学与医学版),2006,27(2):90-100. |
| |
| 作者姓名： | 关展鹏 |
| |
| 作者单位： | 中山大学计算机科学系,04硕,广州510275 |
| |
| 基金项目： | This work was partially sponsored by the National Natural Science Foundation of China （ Project No. 60273062） and the Guangdong Provincial Natural Science Foundation （Project No. 04205407）. |
| |
| 摘 要： | 3GPP AKA协议的设计者使用BAN逻辑对协议进行形式化的分析，并生成所有的安全目标已经达到。但是由于BAN逻辑的局限性，设计者并没有找到协议对于重定向攻击和重放攻击的脆弱性。本文给出基于信仰变化的KG逻辑方法，指出脆弱性所在，并对改进后的协议方案进行验证。
|
| 关 键 词： | KG逻辑 BAN逻辑 3GPP AKA协议 |
| 收稿时间： | 2006-03-10 |
Formal Analysis and Enhancement on 3GPP AKA protocol with KG Logic |
| |
| Authors: | Guan Zhanpeng |
| |
| Abstract: | A formal Analysis on 3GPP AKA protocol has been made by 3GPP, who claimed that all the goals of the protocol are met. However, due to the limitation of BAN logic, the designer could not found out its vulnerability to redirection attack and replay attack. This paper presents a formal analysis with KG logic based on belief evolution, points out where the vulnerability lies, and also provides verification on an enhanced version of the protocol. |
| |
| Keywords: | KG Logic BAN Logic 3GPP AKA Protocol |
| 本文献已被 维普 等数据库收录！ |
