And its formal analysis is presented using authentication test theory in the strand Spaces. Finally its applications to TLS protocol are discussed.
用串空间的认证测试理论对其进行了形式分析，最后探讨了它在TLS协议中的应用。
And its formal analysis is presented using authentication test theory in the strand Spaces. Finally its applications to TLS protocol are discussed.
用串空间的认证测试理论对其进行了形式分析，最后探讨了它在TLS协议中的应用。
应用推荐