文献类型：期刊文章

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

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

出　　处：《南京邮电大学学报（自然科学版）》

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

年　　份：2006

卷　　号：26

期　　号：1

起止页码：18-24

语　　种：中文

收录情况：CSA、CSA-PROQEUST、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、普通刊

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

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

分 类 号：TP393.08]