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

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

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

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