JFKi协议的分析及漏洞修正

• 作者: 邓阳 魏祖宽
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 协议分析 形式化逻辑分析 JFK漏洞 JFKi漏洞
• 年，卷（期）: 2007,（z1）
• 所属期刊栏目: 网络与信息安全
• 页码范围: 264-267,270
• 页数: 5页
• 分类号: TP393.04
• 字数: 5096字
• 语种: 中文

摘要

通过用BAN类逻辑对JFKi协议的分析,成功的找到了协议中关于身份信息泄露的一个漏洞,并按此漏洞建立了对该协议发起者身份的攻击实例.然后又对协议漏洞提出了修补的方案,保证了协议最初的设计要求:发起者身份能对抗主动攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏祖宽	电子科技大学计算机科学与工程学院	13	250	6.0	13.0
2	邓阳	电子科技大学计算机科学与工程学院	1	2	1.0	1.0