基于Java的DTLS協(xié)議實(shí)現(xiàn)與安全性分析.pdf

1、近幾年來出現(xiàn)了許多基于不可靠的數(shù)據(jù)報(bào)傳輸?shù)膽?yīng)用程序。這些應(yīng)用都是對延遲敏感的程序，包括Internet電話，實(shí)時(shí)視頻會議和在線游戲，比如Startcraft和Quack。然而，SSL/TLS協(xié)議是基于TCP的安全協(xié)議，不支持基于UDP的數(shù)據(jù)傳輸，因此實(shí)現(xiàn)支持UDP的DatagramTLS安全協(xié)議成為網(wǎng)絡(luò)安全的一個(gè)研究熱點(diǎn)。
　　論文研究了DTLS協(xié)議和安全協(xié)議形式化分析方法，重點(diǎn)分析了DTLS協(xié)議的記錄層和握手協(xié)議層分層模型，并在

2、此基礎(chǔ)上利用基于Java的PureTLS軟件包設(shè)計(jì)和實(shí)現(xiàn)了DTLS協(xié)議，最后用基于串空間模型的認(rèn)證測試方法驗(yàn)證了DTLS協(xié)議。論文的主要工作如下：(1)研究了DTLS協(xié)議原理，針對數(shù)據(jù)完整性、保密性和認(rèn)證屬性這三個(gè)安全協(xié)議特性詳細(xì)分析了DTLS協(xié)議分層模型，其中主要分析了DTLS握手協(xié)議和記錄層協(xié)議。(2)在Linux平臺上用Java設(shè)計(jì)和實(shí)現(xiàn)了DTLS協(xié)議，在PureTLS工具箱下對DTLS協(xié)議進(jìn)行了測試，并對其測試結(jié)果進(jìn)行了詳細(xì)分析