電子商務(wù)是當(dāng)前各國(guó)研究的熱點(diǎn)。電子商務(wù)是以協(xié)議為構(gòu)成框架的，電子商務(wù)協(xié)議的安全性是決定電子商務(wù)發(fā)展的關(guān)鍵因素。安全電子商務(wù)協(xié)議，是使用了密碼學(xué)方法的協(xié)議，其目的就是為了在復(fù)雜的、不安全的網(wǎng)絡(luò)環(huán)境中為參加電子商務(wù)活動(dòng)的主體提供各種安全服務(wù)。安全電子商務(wù)協(xié)議的目的是保證信息的安全，但是如果協(xié)議本身存在漏洞，攻擊者就會(huì)利用這些漏洞，對(duì)合法通信者造成危害。因此需要對(duì)安全協(xié)議進(jìn)行分析和驗(yàn)證，來(lái)檢查安全電子商務(wù)協(xié)議是否能夠達(dá)到其預(yù)期的目標(biāo)。 Kailar邏輯和卿-周邏輯是常見的安全電子商務(wù)協(xié)議形式化分析方法，但是它們只能分析協(xié)議的有限性質(zhì)，并且在遇到重放攻擊時(shí)Kailar邏輯和卿-周邏輯不能正確分析主體的責(zé)任性。本文在深入研究安全電子商務(wù)協(xié)議形式化分析方法理論的基礎(chǔ)上，做了以下幾個(gè)方面的工作： (1)深入了解了安全電子商務(wù)協(xié)議的安全性質(zhì)，尤其是原子性、可追究性與公平性。 (2)熟悉針對(duì)安全電子商務(wù)協(xié)議的常見攻擊方法，用重放攻擊分析了IBS協(xié)議和CMP協(xié)議，并對(duì)后者提出了改進(jìn)方案。 (3)分析Kailar邏輯和卿-周邏輯的...

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

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

【文章目錄】：
摘要
ABSTRACT
目錄
第一章 緒論
    1.1 研究背景
    1.2 研究現(xiàn)狀
    1.3 本文工作
第二章 安全電子商務(wù)協(xié)議綜述
    2.1 安全電子商務(wù)協(xié)議的基本概念
        2.1.1 安全電子商務(wù)協(xié)議的基本需求
        2.1.2 安全電子商務(wù)協(xié)議的基本結(jié)構(gòu)
        2.1.3 安全電子商務(wù)協(xié)議的分類
        2.1.4 安全電子商務(wù)協(xié)議的運(yùn)行環(huán)境及語(yǔ)義
    2.2 典型的安全電子商務(wù)協(xié)議
第三章 針對(duì)電子商務(wù)協(xié)議的攻擊
    3.1 入侵者的知識(shí)和能力
    3.2 電子商務(wù)協(xié)議的常見攻擊
    3.3 針對(duì) NEWIBS協(xié)議的重放攻擊
    3.4 針對(duì) CMP協(xié)議的重放攻擊
    3.5 小結(jié)
第四章 電子商務(wù)協(xié)議的安全性
    4.1 電子商務(wù)協(xié)議的安全性質(zhì)
    4.2 電子商務(wù)協(xié)議的分析前提
    4.3 電子商務(wù)協(xié)議的設(shè)計(jì)準(zhǔn)則
    4.4 電子商務(wù)協(xié)議的分析方法簡(jiǎn)介
    4.5 KAILAR邏輯和卿-周邏輯簡(jiǎn)介
        4.5.1 Kailar邏輯簡(jiǎn)介
        4.5.2 卿-周邏輯簡(jiǎn)介
    4.6 KAILAR邏輯和卿-周邏輯的缺陷
    4.7 小結(jié)
第五章 一種改進(jìn)的邏輯分析方法
    5.1 改進(jìn)的邏輯分析方法的語(yǔ)法
        5.1.1 基本符號(hào)
        5.1.2 概念和定義
        5.1.3 推理規(guī)則
    5.2 協(xié)議分析步驟
    5.3 驗(yàn)證實(shí)例
        5.3.1 IBS協(xié)議的邏輯驗(yàn)證
        5.3.2 NewIBS協(xié)議的邏輯驗(yàn)證
    5.4 小結(jié)
第六章 總結(jié)與展望
致謝
參考文獻(xiàn)
附錄1 攻讀碩士期間發(fā)表和完成的論文



本文編號(hào)：4017450