| 密钥交换协议JFK的分析与研究 |
| |
| 引用本文： | 常丽娟,沈苏彬.密钥交换协议JFK的分析与研究[J].南京邮电大学学报(自然科学版),2006,26(1):18-24. |
| |
| 作者姓名： | 常丽娟 沈苏彬 |
| |
| 作者单位： | 南京邮电大学,网络技术研究中心,江苏,南京,210003 |
| |
| 基金项目： | 中国科学院资助项目;江苏省自然科学基金 |
| |
| 摘 要： | 快速密钥交换（JFK）协议是一种新的密钥交换协议，它的安全性引起了人们的重视。文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究。首先简介了JFK协议的两种形式和报文交互的工作原理，在此基础上指出了它所达到的安全目标，然后介绍了BAN类逻辑方法的符号语义说明和逻辑规则，并通过使用它对JFK协议中一种具体形式JFKr的安全性进行了分析证明。得出了JFK协议满足密钥交换协议的基本安全需求的结论。
|
| 关 键 词： | 快速密钥交换 因特网密钥交换 形式化分析 逻辑 |
| 文章编号： | 1673-5439（2006）01-0018-07 |
| 收稿时间： | 2005-09-20 |
| 修稿时间： | 2005年9月20日 |
Analyzing and Researching the Key Exchange Protocol:JFK |
| |
| CHANG Li-juan,SHEN Su-bin.Analyzing and Researching the Key Exchange Protocol:JFK[J].Journal of Nanjing University of Posts and Telecommunications,2006,26(1):18-24. |
| |
| Authors: | CHANG Li-juan SHEN Su-bin |
| |
| Institution: | Research Center of Network Technology, Nanjing University of Posts and Telecommunications, Nanjing 210003, China |
| |
| Abstract: | 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. |
| |
| Keywords: | Just fast keying Internet key exchange Formal analysis logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
