Research on Internet Key Exchange Protocol
Zhenjiang Li · 2002
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.