网络安全与数据治理2022，Vol.41Issue(11)：P.49-58,10.DOI:10.19358/j.issn.2097-1788.2022.05.008
基于HCPN模型的TLS1.3协议安全性分析
陈真好 1田学成2
作者信息
- 1. 南京天畅信息技术有限公司,江苏南京211100
- 2. 国电南京自动化股份有限公司,江苏南京211100
- 折叠
摘要
关键词
TLS1.3/CPN Tools/TLS1.3握手协议/形式化分析分类
信息技术与安全科学引用本文复制引用
陈真好,田学成..基于HCPN模型的TLS1.3协议安全性分析[J].网络安全与数据治理,2022,41(11):P.49-58,10.
