As a typical authentication and key exchange protocol, TLS handshake protocol could be analyzed under the framework of BR computational model.

• 摘要用BR模型对TLS握手协议进行了计算分析与安全性证明。