And its formal analysis is presented using authentication test theory in the strand spaces.Finally its applications to TLS protocol are discussed.

• 用串空间的认证测试理论对其进行了形式分析，最后探讨了它在TLS协议中的应用。