安全協(xié)議Web實(shí)施是網(wǎng)絡(luò)空間安全的重要組成部分。目前,人們?cè)诔橄竽Ｐ蛯用骝?yàn)證了安全的安全協(xié)議,在實(shí)際開(kāi)發(fā)時(shí),程序員根據(jù)抽象模型規(guī)范開(kāi)發(fā)安全協(xié)議實(shí)施過(guò)程中可能會(huì)引入不易被檢測(cè)到的邏輯錯(cuò)誤和編碼錯(cuò)誤,導(dǎo)致安全協(xié)議的實(shí)施與其驗(yàn)證了安全性的抽象模型規(guī)范相差甚遠(yuǎn)。為解決該問(wèn)題,必須對(duì)安全協(xié)議Web實(shí)施安全性進(jìn)行分析,發(fā)現(xiàn)安全協(xié)議實(shí)施中是否存在安全問(wèn)題。本論文利用模型抽取技術(shù),從安全協(xié)議客戶端JavaScript語(yǔ)言實(shí)施和Web服務(wù)器安全協(xié)議Python語(yǔ)言實(shí)施中抽取安全協(xié)議Applied PI演算實(shí)施,然后利用ProVerif分析其安全性。主要工作如下:(1)結(jié)合國(guó)內(nèi)外關(guān)于安全協(xié)議實(shí)施安全性分析的研究情況和發(fā)展趨勢(shì)討論進(jìn)行安全協(xié)議實(shí)施安全性分析的手段和方法。(2)分析安全協(xié)議JavaScript語(yǔ)言實(shí)施和安全協(xié)議Python語(yǔ)言實(shí)施的核心語(yǔ)句,定義JavaScript語(yǔ)言子集SubJavaScript和Python語(yǔ)言子集SubPython并分別給出SubJavaScript,SubPython和Applied PI演算的BNF表示形式BNF[SubJavaScript],BNF[SubPyth...

【文章頁(yè)數(shù)】：71 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
Abstract
第一章 緒論
    1.1 研究背景與意義
    1.2 國(guó)內(nèi)外研究現(xiàn)狀
    1.3 論文研究?jī)?nèi)容與目的
第二章 相關(guān)技術(shù)
    2.1 模型抽取方法
    2.2 JavaCC
    2.3 本章小結(jié)
第三章 SubJavaScript與 SubPython及 Applied PI演算
    3.1 SubPython及其BNF
    3.2 SubJavaScript及其BNF
    3.3 Applied PI演算及其BNF
    3.4 本章小結(jié)
第四章 安全協(xié)議Web實(shí)施到安全協(xié)議Applied PI演算的映射模型
    4.1 SubPython到 Applied PI演算的映射模型
        4.1.1 SubPython到 Applied PI演算的語(yǔ)句映射
        4.1.2 SubPython到 Applied PI演算的類型映射
    4.2 SubJavaScript到 Applied PI演算的映射模型
        4.2.1 SubJavaScript到 Applied PI演算的語(yǔ)句映射
        4.2.2 SubJavaScript到 Applied PI演算的類型映射
    4.3 本章小結(jié)
第五章 開(kāi)發(fā)SubJavaScript2PV與 SubPython2PV
    5.1 開(kāi)發(fā)SubJavaScript2PV
        5.1.1 SubJavaScript詞法分析器
        5.1.2 SubJavaScript語(yǔ)法分析器
        5.1.3 SubJavaScript語(yǔ)法樹(shù)分析結(jié)構(gòu)圖
        5.1.4 遍歷SubJavaScript抽象語(yǔ)法樹(shù)
        5.1.5 生成Applied PI演算
        5.1.6 SubJavaScript2PV界面設(shè)計(jì)與功能介紹
    5.2 開(kāi)發(fā)SubPython2PV
        5.2.1 SubPython詞法分析器
        5.2.2 SubPython語(yǔ)法分析器
        5.2.3 SubPython語(yǔ)法樹(shù)分析結(jié)構(gòu)圖
        5.2.4 遍歷SubPython抽象語(yǔ)法樹(shù)
        5.2.5 生成AppliedPI演算
        5.2.6 SubPython2PV界面設(shè)計(jì)與功能介紹
    5.3 本章小結(jié)
第六章 應(yīng)用案例
    6.1 51Talk項(xiàng)目中用戶登錄協(xié)議實(shí)施安全性分析
    6.2 商城管理系統(tǒng)中數(shù)據(jù)傳輸協(xié)議實(shí)施安全性分析
    6.3 其他典型安全協(xié)議實(shí)施安全性分析
    6.4 本章小結(jié)
第七章 總結(jié)與展望
    7.1 總結(jié)與討論
    7.2 未來(lái)工作展望
參考文獻(xiàn)
致謝
附錄A 攻讀學(xué)位期間成果目錄



本文編號(hào)：3850198