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

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

【文章頁數】：66 頁

【學位級別】：碩士

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



本文編號：3501794