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