As a typical authentication and key exchange protocol, TLS handshake protocol could be analyzed under the framework of BR computational model.
英
美
摘要用BR模型对TLS握手协议进行了计算分析与安全性证明。
目录
查词历史
英 汉