基于HCPN模型的TLS1.3協(xié)議安全性分析
所屬分類：技術(shù)論文
上傳者：zhoubin333
文檔大?。?span>713 K
標簽： TLS1.3 CPN Tools TLS1.3握手協(xié)議
所需積分：0分積分不夠怎么辦？
文檔介紹：傳輸層(Transport Layer Security,，TLS)協(xié)議是保證網(wǎng)絡(luò)傳輸安全的重要標準協(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攻擊模型，并分析了對應(yīng)模型下的狀態(tài)空間報告,。實驗結(jié)果表明新發(fā)布的TLS1.3握手協(xié)議預(yù)主密鑰有良好的機密性,，并且身份認證滿足協(xié)議規(guī)范的安全屬性要求,。目前國內(nèi)在協(xié)議形式化分析方法的研究方面很少,，本文研究在協(xié)議形式化分析方法上對其他協(xié)議分析具有理論指導(dǎo)意義。
現(xiàn)在下載
VIP會員,，AET專家下載不扣分,；重復(fù)下載不扣分，本人上傳資源不扣分,。