In this paper, we first extend the ideal theory of Strand Spaces, and then apply this extended theory to analyzing a complex Internet key exchange protocol, LKE2.
本文首先扩展了串空间的理想理论,然后应用此扩展理论分析IKE2协议的核心安全:秘密性和认证性。
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)协议性能的黑盒测试方法,该方法基于自主开发的协议集成测试系统平台。
应用推荐