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

摘要：

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

关键词：快速密钥交换、因特网密钥交换、形式化分析、逻辑

所属期刊栏目：26

分类号：TP393.08(计算技术、计算机技术)

资助基金：中国科学院资助项目60273091;江苏省自然科学基金BK2001205

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

页数：共7页

页码：18-24