發(fā)布時間：2024-01-31 20:15

　　電子商務(wù)是當(dāng)前各國研究發(fā)展的熱點(diǎn)，它以電子商務(wù)協(xié)議為構(gòu)成框架，而電子商務(wù)協(xié)議的安全性是決定電子商務(wù)發(fā)展的關(guān)鍵因素。研究電子商務(wù)協(xié)議及其安全性，對于我們設(shè)計安全的電子商務(wù)協(xié)議和促進(jìn)電子商務(wù)的發(fā)展很有幫助。 在本文中，作者主要介紹了用于分析密碼協(xié)議的三種邏輯語言，研究了它們的優(yōu)缺點(diǎn)，然后結(jié)合其優(yōu)點(diǎn)，提出了一種新的用于分析電子商務(wù)協(xié)議的形式化邏輯語言。該語言邏輯性強(qiáng)、應(yīng)用簡易。作者還簡單介紹了著名的電子商務(wù)協(xié)議—安全電子交易(SET)協(xié)議，并對其進(jìn)行邏輯抽象，最后著重用提出的新邏輯對抽象化后的SET協(xié)議進(jìn)行了完全的分析與驗(yàn)證。

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

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

【文章目錄】：
中文摘要
英文摘要
1 緒論
    1.1 電子商務(wù)及其協(xié)議
    1.2 電子商務(wù)協(xié)議的安全性
        1.2.1 電子商務(wù)協(xié)議的安全性及攻擊
        1.2.2 電子商務(wù)協(xié)議的設(shè)計準(zhǔn)則
        1.2.3 電子商務(wù)協(xié)議的安全分析
    1.3 邏輯分析方法的研究與進(jìn)展
        1.3.1 電子商務(wù)協(xié)議的邏輯分析前提
        1.3.2 邏輯分析方法的研究與進(jìn)展
        1.3.3 小結(jié)
    1.4 論文的研究成果
2 邏輯分析語言的研究
    2.1 引言
    2.2 BAN邏輯
        2.2.1 BAN邏輯的語法
        2.2.2 BAN邏輯分析實(shí)例
        2.2.3 有關(guān)BAN邏輯的評價
    2.3 Kailar邏輯
        2.3.1 Kailar邏輯的語法
        2.3.2 Kailar邏輯分析實(shí)例
        2.3.3 有關(guān)Kailar邏輯的評價
    2.4 NDL邏輯
        2.4.1 NDL邏輯的語法
            2.4.1.1 NDL邏輯的語言構(gòu)成
            2.4.1.2 NDL邏輯的推理框架
                2.4.1.2.1 公理
                2.4.1.2.2 推理規(guī)則
            2.4.1.3 利用NDL邏輯分析安全協(xié)議的步驟
        2.4.2 NDL分析實(shí)例
        2.4.3 有關(guān)NDL的評價
    2.5 本章小結(jié)
3 一種新的形式化邏輯方法
    3.1 新邏輯的語法
        3.1.1 處理對象
        3.1.2 新邏輯的主要構(gòu)造
        3.1.3 新邏輯的推理規(guī)則
    3.2 推理格式
    3.3 電子商務(wù)協(xié)議邏輯驗(yàn)證步驟
    3.4 驗(yàn)證實(shí)例
    3.5 本章小結(jié)
4 SET協(xié)議的邏輯驗(yàn)證
    4.1 SET協(xié)議簡介
        4.1.1 SET的特點(diǎn)
        4.1.2 SET的體系結(jié)構(gòu)
        4.1.3 SET協(xié)議的主要流程
        4.1.4 SET協(xié)議運(yùn)行的目標(biāo)
    4.2 SET協(xié)議的邏輯驗(yàn)證
        4.2.1 持卡人注冊階段驗(yàn)證
        4.2.2 商家注冊階段驗(yàn)證
        4.2.3 購買請求階段驗(yàn)證
        4.2.4 支付授權(quán)階段驗(yàn)證
        4.2.5 支付獲得階段驗(yàn)證
    4.3 本章小結(jié)
結(jié)束語
致謝
參考文獻(xiàn)
作者在攻讀碩士期間發(fā)表和完成的論文



本文編號：3891478