摘要： 密钥交换协议是密码协议中主要的一类协议,安全可靠的密钥交换是通信安全性的基础,因特网密钥交换协议作为协议IKEIPSEC族的关键组成部分,在因特网的安全通信和安全服务中发挥着非常重要的作用,成为密码协议分析和研究的一个热点。该文首先介绍协IKE议,然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明,并得出关于协议正确性的结论。

关键词: ISAKMP, 因特网密钥交换协议(IKE), 形式化分析

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.

中图分类号: 

• TP393.08