Recently, analysis and improvement of IKE protocol has become a hotspot in network security area.

近年来，对IKE协议的分析和改进已成为网络安全领域的一个研究热点。

youdao

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.

该文首先介绍协ike议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。

youdao