本文首先扩展了串空间的理想理论，然后应用此扩展理论分析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.
重点研究了可扩展认证协议EAP，对EAP的认证过程做了比较全面地探讨。
The extensible authentication protocol (EAP) is investigated and the authentication procedure is discussed comprehensively.
在PPP中也定义了一种可扩展的LCP，允许协商认证协议，从而可以在进行网络层协议传输之前对对端进行认证。
In PPP also defines a scalable LCP to allow consultations authentication protocol, thereby conducting transmission network layer protocol before the end-to-end authentication.
应用推荐