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

 
  • 摘要用BR模型对TLS握手协议进行了计算分析与安全性证明。
今日热词
目录 附录 查词历史