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

Analyzing and Researching the Key Exchange Protocol: JFK

作　　者：常丽娟[1] 沈苏彬[1] 

机构地区：[1]南京邮电大学网络技术研究中心,江苏南京210003

出　　处：《南京邮电大学学报（自然科学版）》2006年第1期18-24,共7页Journal of Nanjing University of Posts and Telecommunications：Natural Science Edition

基　　金：国家自然科学基金(60273091);江苏省自然科学重点基金(BK2001205)资助项目

摘　　要：快速密钥交换(JFK)协议是一种新的密钥交换协议,它的安全性引起了人们的重视。文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究。首先简介了JFK协议的两种形式和报文交互的工作原理,在此基础上指出了它所达到的安全目标,然后介绍了BAN类逻辑方法的符号语义说明和逻辑规则,并通过使用它对JFK协议中一种具体形式JFKr的安全性进行了分析证明,得出了JFK协议满足密钥交换协议的基本安全需求的结论。Just fast keying（JFK） is a new key exchange protocol. Many researchers pay attention to it. In this paper, BAN logic is used to prove security objectives of JFK protocol. After the brief introduction about two variants of the protocol and the mechanism of JFK protocol, security objectives are pointed out. Then the notations and rules of BAN logical method are explained also on analysis and proving are done for JFKr which is one kind of JFK by BAN logical method. In conclusion, JFKr satisfies the basal security demands of key exchange protocol.

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

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]