能够确定复杂案例的关键问题，做出合理分析并得出正确结论。
Be able to define key issues of complex cases, analyze accordingly and then make correct conclusions.
能够确定复杂案例的关键问题，做出合理分析并得出正确结论。
Be able to define key issues of complex cases analyze accordingly and then make correct conclusions.
该文首先介绍协ike议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。
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.
应用推荐