重点研究了可扩展认证协议EAP,对EAP的认证过程做了比较全面地探讨。
The extensible authentication protocol (EAP) is investigated and the authentication procedure is discussed comprehensively.
文章基于串空间模型,扩展了认证测试方法,使之能够描述和分析电子商务协议。
Based on strand space, we extend the authentication tests method. Using this method, E-commerce protocol can be described and analyzed.
本文首先扩展了串空间的理想理论,然后应用此扩展理论分析IKE2协议的核心安全:秘密性和认证性。
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.
应用推荐