安全套接層或傳輸層安全（Secure Sockets Layer or Transport Layer Security,SSL/TLS）協(xié)議是國際互聯(lián)網(wǎng)上廣泛使用的超文本傳輸安全協(xié)議（Hypertext Transfer Protocol Secure,HTTPS）中安全攸關(guān)的重要組成部分。SSL/TLS協(xié)議握手階段中的證書驗(yàn)證提供了身份驗(yàn)證的功能,證書驗(yàn)證實(shí)現(xiàn)的正確與否決定了密鑰協(xié)商和后續(xù)通信是否安全。因此,檢測SSL/TLS軟件實(shí)現(xiàn)中證書驗(yàn)證的正確性對國際互聯(lián)網(wǎng)的安全具有重要的意義�；趪H互聯(lián)網(wǎng)工程任務(wù)組（Internet Engineering Task Force,IETF）制定的請求評議（Request for Comments,RFC）,提出了一種對SSL/TLS軟件實(shí)現(xiàn)中證書驗(yàn)證進(jìn)行檢測的新方法即RFCcert方法。首先,根據(jù)RFC 2119規(guī)定在表達(dá)不同等級的規(guī)范要求或禁止時使用的11組大寫關(guān)鍵詞,從RFC 5280中自動提取證書規(guī)則,根據(jù)RFC 6818對提取的證書規(guī)則進(jìn)行自動更新,按遵守方將更新后的證書規(guī)則分為生產(chǎn)者規(guī)則、消費(fèi)者規(guī)則和共享規(guī)則,按規(guī)則約束是否可打... 

【文章來源】：西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校

【文章頁數(shù)】：123 頁

【學(xué)位級別】：博士

【文章目錄】：
摘要
ABSTRACT
符號對照表
縮略語對照表
第一章 緒論
    1.1 研究背景與意義
    1.2 研究問題的提出
    1.3 研究現(xiàn)狀
    1.4 論文的主要工作與組織結(jié)構(gòu)
        1.4.1 論文的主要工作
        1.4.2 論文的組織結(jié)構(gòu)
第二章 相關(guān)知識與技術(shù)
    2.1 RFC關(guān)鍵詞
    2.2 X.509數(shù)字證書
        2.2.1 X.509數(shù)字證書的結(jié)構(gòu)
        2.2.2 X.509數(shù)字證書的驗(yàn)證和數(shù)字證書鏈
        2.2.3 X.509數(shù)字證書的編碼與格式
    2.3 動態(tài)符號執(zhí)行技術(shù)
        2.3.1 具體執(zhí)行
        2.3.2 符號執(zhí)行
        2.3.3 動態(tài)符號執(zhí)行
    2.4 軟件缺陷與差異測試
    2.5 本章小結(jié)
第三章 RFCcert方法
    3.1 RFCcert方法概述
    3.2 RFC規(guī)則操作
        3.2.1 X.509數(shù)字證書規(guī)則
        3.2.2 規(guī)則提取
        3.2.3 規(guī)則更新
        3.2.4 規(guī)則分類
        3.2.5 規(guī)則表達(dá)
        3.2.6 使用正則表達(dá)式擴(kuò)展RFCcert方法的第一個步驟
    3.3 低級測試用例的生成
        3.3.1 符號化程序生成
        3.3.2 動態(tài)符號執(zhí)行
    3.4 高級測試用例的組裝
    3.5 差異測試
        3.5.1 RFCcert方法的度量標(biāo)準(zhǔn)
        3.5.2 RFCcert方法的令牌環(huán)式差異測試
        3.5.3 RFCcert方法中的測試模式
    3.6 本章小結(jié)
第四章 RFCcert方法的原型工具RFCcert DT與實(shí)驗(yàn)
    4.1 RFCcert方法的原型工具RFCcertDT
        4.1.1 測試用例生成模塊
        4.1.2 差異測試執(zhí)行模塊
    4.2 實(shí)驗(yàn)與分析
        4.2.1 實(shí)驗(yàn)配置
        4.2.2 RFCcertDT與Mucert的比較
        4.2.3 RFCcertDT與NEZHA的比較
        4.2.4 RFCcertDT與SymCerts的比較
        4.2.5 傳統(tǒng)差異測試的無效性
        4.2.6 軟件缺陷、報(bào)告與反饋
        4.2.7 關(guān)于發(fā)現(xiàn)的差異和接受的軟件缺陷的討論
    4.3 本章小結(jié)
第五章 RFCcert數(shù)字證書的變異與實(shí)驗(yàn)
    5.1 變異跟蹤器
    5.2 RFCcert數(shù)字證書變異后的度量標(biāo)準(zhǔn)
    5.3 RFCcert數(shù)字證書變異實(shí)驗(yàn)與分析
        5.3.1 RFCcert數(shù)字證書變異實(shí)驗(yàn)
        5.3.2 RFCcert數(shù)字證書變異實(shí)驗(yàn)的結(jié)果分析
    5.4 本章小結(jié)
第六章 總結(jié)與展望
    6.1 工作總結(jié)
    6.2 研究展望
參考文獻(xiàn)
致謝
作者簡介



本文編號：3270649