Page 231 - 《软件学报》2021年第9期
P. 231

陆思奇  等:强安全模型下 TLS1.3 协议的形式化分析与优化                                                 2855









































































                                 Fig.6    Early Data leaked in 1-RTT semi-static mode
                                 图 6   1-RTT semi-static 模式下的 Early Data 泄露
   226   227   228   229   230   231   232   233   234   235   236