Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL
作者: Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao
摘要
该论文暂无可用摘要。
作者: Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao
摘要
该论文暂无可用摘要。