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议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。
The author designs and realizes the second edition of PFKEY protocol, which is mainly responsible for providing the interface for communication between IKE and Kernal secure database.
设计并实现了PF_KEY第二版协议，该协议主要负责提供IKE与内核安全数据库进行通信的接口。
The paper prominently designed and implemented the PF_KEY V2 protocol, which mainly provides the communication interface between IKE and SADB.
重点设计并实现了PF_KEYV2协议，该协议主要负责提供IKE与内核安全数据库进行通信的接口。
A black box testing method aiming at IKE (Internet Key Exchange) protocol performance was proposed, which was based on the self-developed platform of protocol integrated test system.
提出了一种针对密钥交换(IKE)协议性能的黑盒测试方法，该方法基于自主开发的协议集成测试系统平台。
A black box testing method aiming at IKE (Internet Key Exchange) protocol performance was proposed, which was based on the self-developed platform of protocol integrated test system.
提出了一种针对密钥交换(IKE)协议性能的黑盒测试方法，该方法基于自主开发的协议集成测试系统平台。
应用推荐