And its formal analysis is presented using authentication test theory in the strand Spaces. Finally its applications to TLS protocol are discussed.
用串空间的认证测试理论对其进行了形式分析,最后探讨了它在TLS协议中的应用。
In the detail implementation, several techniques are adopted to insure the system security, including TLS protocol and a Local Application Service Token creation method.
在具体实现上,采用多种技术保证系统的安全性,包括TLS协议,本地应用服务令牌生成方法等。
The result shows that the TLS protocol meets their security statement.
结果表明TLS协议满足其安全性说明。
TLS protocol is an important transport layer security protocol, and is widely used.
TLS协议是一种重要的传输层安全协议,得到了广泛的应用。