SSL-TLS協(xié)議安全性研究.pdf

1、隨著互聯(lián)網(wǎng)的發(fā)展，越來越多的重要數(shù)據(jù)在網(wǎng)絡(luò)上傳輸，互聯(lián)網(wǎng)安全問題越來越成為人們關(guān)注的焦點(diǎn)。作為HTTPS安全基礎(chǔ)，亦是互聯(lián)網(wǎng)安全基礎(chǔ)的SSL/TLS協(xié)議，其安全性的重要性自然不言而喻。之前雖然也有對SSL/TLS協(xié)議某些部分或組件的安全性的研究，但還沒有某個(gè)研究或某種方法能夠讓人對SSL/TLS協(xié)議的安全性有一個(gè)較為全面的認(rèn)知和把握。本文引入軟件開發(fā)領(lǐng)域的軟件測試技術(shù)，結(jié)合協(xié)議安全性研究領(lǐng)域常用的模型檢測技術(shù)和串空間理論這兩種形式化分析

2、方法，對SSL/TLS現(xiàn)行版本和新版本握手協(xié)議的安全性進(jìn)行了較為全面的研究和檢測。
　　論文的主要工作如下:
　　(1)分析了SSL/TLS協(xié)議現(xiàn)行版本與新版本的主要異同，以及面臨的安全威脅，并在此基礎(chǔ)上確定了測試內(nèi)容和測試目標(biāo)，引入了軟件測試的常用分類方法，將對SSL/TLS握手協(xié)議的安全性測試分為正向測試和逆向測試，根據(jù)兩類測試的特點(diǎn)分別修改了軟件測試流程，設(shè)計(jì)了SSL/TLS協(xié)議安全性測試的整體架構(gòu)。
　　(2)

3、根據(jù)SSL/TLS協(xié)議安全性正向測試的特點(diǎn)和關(guān)注點(diǎn)，從軟件測試技術(shù)中引入并修改了ACC法，運(yùn)用該方法生成測試計(jì)劃簡表，為測試用例設(shè)計(jì)及評估提供依據(jù);引入并修改了指南測試法和因果圖法，分別從全局和局部指導(dǎo)測試用例的設(shè)計(jì);引入并修改地標(biāo)測試法和混票測試法，結(jié)合這兩種方法生成了測試地圖，用于提高測試執(zhí)行的效率，并用模型檢測技術(shù)執(zhí)行了所有正向測試用例。
　　(3)根據(jù)SSL/TLS協(xié)議安全性逆向測試的特點(diǎn)和關(guān)注點(diǎn)，引入并修改了探索式測試技