密钥交换协议JFK的分析与研究

• 作者: 常丽娟 沈苏彬
• 来源期刊: 南京邮电大学学报（自然科学版）
• 学科: 工学
• 关键词: 快速密钥交换 因特网密钥交换 形式化分析 逻辑
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 学术论文
• 页码范围: 18-24
• 页数: 7页
• 分类号: TP393.08
• 字数: 6352字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2006.01.004

摘要

快速密钥交换(JFK)协议是一种新的密钥交换协议,它的安全性引起了人们的重视.文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究.首先简介了JFK协议的两种形式和报文交互的工作原理,在此基础上指出了它所达到的安全目标,然后介绍了BAN类逻辑方法的符号语义说明和逻辑规则,并通过使用它对JFK协议中一种具体形式JFKr的安全性进行了分析证明,得出了JFK协议满足密钥交换协议的基本安全需求的结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈苏彬	南京邮电大学网络技术研究中心	109	1687	14.0	39.0
2	常丽娟	南京邮电大学网络技术研究中心	1	6	1.0	1.0