基于HCPN模型的TLS1.3協(xié)議安全性分析
所屬分類：技術論文
上傳者：zhoubin333
文檔大小：713 K
標簽： TLS1.3 CPN Tools TLS1.3握手協(xié)議
所需積分：0分積分不夠怎么辦？
文檔介紹：傳輸層(Transport Layer Security，TLS)協(xié)議是保證網(wǎng)絡傳輸安全的重要標準協(xié)議，實現(xiàn)了數(shù)據(jù)加密和數(shù)據(jù)完整性以及身份驗證。由于TLS協(xié)議一直存在很多安全漏洞，因此不斷更新。目前最新版本TLS1.3(RFC 8846)已經(jīng)發(fā)布，較之前TLS1.2(RFC 5246)在協(xié)議內(nèi)容上有很大改進，提高了安全性和傳輸效率。使用層次著色Petri網(wǎng)(HCPN)的建模方法對TLS1.3握手協(xié)議進行建模，同時添加Delov-Yao攻擊模型，并分析了對應模型下的狀態(tài)空間報告。實驗結果表明新發(fā)布的TLS1.3握手協(xié)議預主密鑰有良好的機密性，并且身份認證滿足協(xié)議規(guī)范的安全屬性要求。目前國內(nèi)在協(xié)議形式化分析方法的研究方面很少，本文研究在協(xié)議形式化分析方法上對其他協(xié)議分析具有理論指導意義。
現(xiàn)在下載
VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。