典型文献
基于HCPN模型的TLS1.3协议安全性分析
文献摘要：
传输层(Transport Layer Security,TLS)协议是保证网络传输安全的重要标准协议,实现了数据加密和数据完整性以及身份验证.由于TLS协议一直存在很多安全漏洞,因此不断更新.目前最新版本TLS1.3(RFC 8846)已经发布,较之前TLS1.2(RFC 5246)在协议内容上有很大改进,提高了安全性和传输效率.使用层次着色Petri网(HCPN)的建模方法对TLS1.3握手协议进行建模,同时添加Delov-Yao攻击模型,并分析了对应模型下的状态空间报告.实验结果表明新发布的TLS1.3握手协议预主密钥有良好的机密性,并且身份认证满足协议规范的安全属性要求.目前国内在协议形式化分析方法的研究方面很少,本文研究在协议形式化分析方法上对其他协议分析具有理论指导意义.
文献关键词：
TLS1.3;CPN Tools;TLS1.3握手协议;形式化分析
中图分类号：
作者姓名：
陈真好;田学成
作者机构：
南京天畅信息技术有限公司,江苏 南京 211100;国电南京自动化股份有限公司,江苏 南京 211100
文献出处：
引用格式：
[1]陈真好;田学成-.基于HCPN模型的TLS1.3协议安全性分析)[J].网络安全与数据治理,2022(11):49-58
A类：
HCPN,Delov
B类：
TLS1,协议安全,安全性分析,传输层,Transport,Layer,Security,网络传输安全,标准协议,数据加密,数据完整性,身份验证,安全漏洞,不断更新,最新版,RFC,较之,传输效率,着色,Petri,握手,Yao,攻击模型,状态空间,密钥,机密性,身份认证,足协,全属,形式化分析,协议分析,Tools
AB值：
0.421031
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
