| 因特网密钥交换协议研究 |
| |
| 引用本文： | 庞南,戴英侠,李镇江. 因特网密钥交换协议研究[J]. 计算机工程, 2002, 28(5): 67-69 |
| |
| 作者姓名： | 庞南 戴英侠 李镇江 |
| |
| 作者单位： | 中国科学技术大学研究生院信息安全国家重点实验室,北京100039 |
| |
| 基金项目： | 国家重点基础研究发展规划项目(G1999035801 ) |
| |
| 摘 要： | 密钥交换协议是密码协议中主要的一类协议，安全可靠的密钥交换是通信安全性的基础，因特网密钥交换协议IKE作为IPSEC协议族的关键组成部分，在因特网的安全通信和安全服务中发挥着非常重要的作用，成为密码协议分析和研究的一个热点。该文首先介绍IKE协议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。
|
| 关 键 词： | 因特网 密钥交换协议 形式化分析 网络安全 密码学 |
| 文章编号： | 1000-3428(2002)05-0067-03 |
| 修稿时间： | 2001-06-21 |
Research on Internet Key Exchange Protocol |
| |
| PANG Nan,DAI Yingxia,LI Zhenjiang. Research on Internet Key Exchange Protocol[J]. Computer Engineering, 2002, 28(5): 67-69 |
| |
| Authors: | PANG Nan DAI Yingxia LI Zhenjiang |
| |
| Abstract: | Key exchange protocol is a main type of cryptographic protocols. And secure communication over open networks is based on secure and reliable key exchange. As an indispensable part of IPSEC protocol family, Internet key exchange protocol (IKE) brings into playing a very important role on secure communication and service over Internet and becomes a focus of cryptographic protocol analysis and research. This article introduces IKE protocol at first, then makes formal analysis on a certain key exchange mode by logical method, and proves the correctness of IKE. |
| |
| Keywords: | Key wordsISAKMP IKE Formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
