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