開放網(wǎng)絡(luò)上的電子商務(wù)已成為現(xiàn)代經(jīng)濟(jì)活動(dòng)的主要形式之一，但電子商務(wù)基于Internet這樣的異構(gòu)環(huán)境，通信實(shí)體間互不信任，且彼此的利益、目標(biāo)不相同。因而通信實(shí)體可根據(jù)其自身利益對已發(fā)生行為進(jìn)行否認(rèn)，且否認(rèn)已成為電子交易中最主要的威脅之一。當(dāng)出現(xiàn)此類情況時(shí)就需要網(wǎng)絡(luò)提供不可否認(rèn)服務(wù)，該服務(wù)主要是通過不可否認(rèn)協(xié)議來實(shí)現(xiàn)的。所以設(shè)計(jì)安全實(shí)用的不可否認(rèn)協(xié)議將推動(dòng)電子商務(wù)的進(jìn)一步開展。 本文對不可否認(rèn)協(xié)議的研究背景、研究現(xiàn)狀及其邏輯驗(yàn)證方法進(jìn)行了介紹；對協(xié)議涉及到的概念、分類、性質(zhì)以及驗(yàn)證工具等進(jìn)行了列總；分析了已有的幾個(gè)典型協(xié)議的設(shè)計(jì)思路、安全性；并重點(diǎn)提到了ZG不可否認(rèn)協(xié)議的形式化分析；談及到優(yōu)化的不可否認(rèn)協(xié)議及其設(shè)計(jì)；最后，涉獵到公平交換協(xié)議，它是對不可否認(rèn)協(xié)議的推廣。 本論文的主要研究成果如下： 1．目前較實(shí)用的不可否認(rèn)協(xié)議都離不開一個(gè)可信第三方或半可信第三方的介入。但實(shí)際網(wǎng)上交易時(shí)，假定存在可信第三方顯然理想化了。在某些環(huán)境中，即使半可信第三方也不易找到。另外，凡有一個(gè)第三方介入的協(xié)議第三方都極易受網(wǎng)絡(luò)Hacker的攻擊，若一旦第三方受到破壞，則通信崩潰，損失很大。針對... 

【文章來源】：陜西師范大學(xué)陜西省 211工程院校 教育部直屬院校

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

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

【文章目錄】：
第一章 緒言
    §1.1 不可否認(rèn)協(xié)議及其形式化分析的發(fā)展背景
    §1.2 不可否認(rèn)協(xié)議的相關(guān)概念與性質(zhì)
        1.2.1 不可否認(rèn)協(xié)議的分類
        1.2.2 不可否認(rèn)協(xié)議的證據(jù)
        1.2.3 不可否認(rèn)協(xié)議的通信信道
        1.2.4 不可否認(rèn)協(xié)議中的第三方
        1.2.5 不可否認(rèn)協(xié)議的性質(zhì)
    §1.3 預(yù)備知識(shí)
        1.3.1 簽密方案
        1.3.2 可驗(yàn)證的加密方案
    §1.4 論文的章節(jié)安排
    §1.5 本章小結(jié)
第二章 帶有在線第三方的不可否認(rèn)協(xié)議
    §2.1 幾個(gè)第三方協(xié)議的安全性分析
    §2.2 在線可信第三方的不可否認(rèn)協(xié)議
    §2.3 帶多個(gè)第三方的不可否認(rèn)協(xié)議
        2.3.1 一個(gè)廣義的秘密分享方案
        2.3.2 一個(gè)帶多個(gè)第三方的不可否認(rèn)協(xié)議
        2.3.3 爭端處理
        2.3.4 協(xié)議安全性分析
    §2.4 本章小結(jié)
第三章 不可否認(rèn)協(xié)議的邏輯驗(yàn)證
    §3.1 邏輯驗(yàn)證的工具
        3.1.1 BAN邏輯
        3.1.2 SVO邏輯
        3.1.3 Kailar邏輯
        3.1.4 周典萃等的形式化分析工具
    §3.2 Zhou-Gollmann不可否認(rèn)協(xié)議的邏輯驗(yàn)證
    §3.3 本章小結(jié)
第四章 優(yōu)化的不可否認(rèn)協(xié)議及其應(yīng)用
    §4.1 一個(gè)優(yōu)化的基于離線STTP的公平不可否認(rèn)協(xié)議
        4.1.1 一個(gè)新型具有指定接收者的簽名加密方案
        4.1.2 協(xié)議描述
        4.1.3 爭端解決
        4.1.4 協(xié)議性質(zhì)與效率分析
    §4.2 多方公平交換協(xié)議
        4.2.1 簽密
        4.2.2 本文協(xié)議
        4.2.3 爭端解決
        4.2.4 協(xié)議特點(diǎn)分析
    §4.3 基于CEMBS的多方公平交換協(xié)議
        4.3.1 新型的帶盲密文的CEMBS
        4.3.2 多方公平交換協(xié)議
        4.3.3 協(xié)議安全性分析
        4.3.4 協(xié)議特點(diǎn)分析
    §4.4 本章小結(jié)
結(jié)束語
參考文獻(xiàn)
致謝
攻讀碩士學(xué)位期間的研究成果



本文編號(hào)：3501794