| 基于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é)議內容上有很大改進，提高了安全性和傳輸效率。使用層次著色Petri網(wǎng)(HCPN)的建模方法對TLS1.3握手協(xié)議進行建模，同時添加Delov-Yao攻擊模型，并分析了對應模型下的狀態(tài)空間報告。實驗結果表明新發(fā)布的TLS1.3握手協(xié)議預主密鑰有良好的機密性，并且身份認證滿足協(xié)議規(guī)范的安全屬性要求。目前國內在協(xié)議形式化分析方法的研究方面很少，本文研究在協(xié)議形式化分析方法上對其他協(xié)議分析具有理論指導意義。 | |
| 現(xiàn)在下載 | |
| VIP會員，AET專家下載不扣分；重復下載不扣分，本人上傳資源不扣分。 | |
Copyright ? 2005-2024 華北計算機系統(tǒng)工程研究所版權所有 京ICP備10017138號-2