在電子商務(wù)迅速發(fā)展的今天,公平交易已成為安全在線交易的一個(gè)關(guān)鍵問題。多方合同簽署協(xié)議MPCS （Multi-Party Contract Signing） Protocols是確保公平交易的重要協(xié)議。MPCS協(xié)議是多個(gè)參與者用來在網(wǎng)上簽署數(shù)字合同的協(xié)議,它的安全性直接決定了電子商務(wù)交易的公平公正。因此,MPCS協(xié)議的構(gòu)建以及其安全性的檢測(cè)越來越成為研究的熱點(diǎn)。最新的兩個(gè)典型的MPCS協(xié)議是Mukhamedov和Ryan在2007年提出的MR協(xié)議和Mauw, Radomirovic和Torabi Dashti在2009年提出的MRT協(xié)議。本文利用有限狀態(tài)模型檢測(cè)機(jī)（Model-checker） Mocha,對(duì)這兩個(gè)協(xié)議進(jìn)行了安全性分析和驗(yàn)證。Mocha可以使用交替時(shí)態(tài)邏輯Alternating-time temporal logic （ATL）來描述屬性,而ATL的博弈語義（game semantics）使ATL可以用競賽樹（winning strategies）的方式進(jìn)行模型檢測(cè)。這使得我們可以更為直觀的理解MPCS協(xié)議關(guān)鍵屬性的驗(yàn)證過程。本文的主要貢獻(xiàn)有：第一,對(duì)MR協(xié)議進(jìn)行mode... 

【文章來源】：山東大學(xué)山東省 211工程院校 985工程院校 教育部直屬院校

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

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

【文章目錄】：
ABSTRACT
摘要
Chapter 1 INTRODUCTION
    1.1 Background
    1.2 Related Work
    1.3 Our Contribution
    1.4 Structure of the Thesis
Chapter 2 PRELIMINARIES OF MPCS
    2.1 Description of MPCS
    2.2 Desirable Properties
    2.3 Cryptographic Primitives
        2.3.1 Theory of Private Contract Signatures
        2.3.2 Private Contract Signatures in MPCS
Chapter 3 FORMAL MODEL FOR MPCS
    3.1 Concurrent Game Structures and ATL
    3.2 Model-Checker Mocha
    3.3 Modelling MPCS Protocols in Mocha
    3.4 Expressing Properties of MPCS Protocols in ATL
    3.5 Summary
Chapter 4 MODEL CHECKING MR PROTOCOLS
    4.1 Description of MR Protocols
        4.1.1 Main Protocol
        4.1.2 Sub-Protocols
    4.2 Automatic Analysis of MR Protocols
        4.2.1 MR Models
        4.2.2 Analysis Results
        4.2.3 Comparison With the Verification in NuSMV
    4.3 Summary
Chapter 5 MODEL CHECKING MRT PROTOCOLS
    5.1 Design Methodology of MRT Protocols
    5.2 Design MRT Protocols with 3 and 4 Signers
    5.3 Description of MRT Protocols
        5.3.1 Main Protocol
        5.3.2 Resolve Sub-Protocol
    5.4 Automatic Analysis of MRT Protocols
        5.4.1 MRT Models
        5.4.2 A Fairness Attack on The Instance Protocol
        5.4.3 An Abuse-Freeness Flaw
    5.5 Summary
Chapter 6 CONCLUSION
    6.1 Main Work
    6.2 Future Research
BIBLIOGRAPHY
致謝
PUBLICATIONS
學(xué)位論文評(píng)閱及答辯情況表


【參考文獻(xiàn)】：
期刊論文
[1]無濫用的樂觀多方合同簽署協(xié)議[J]. 李向東,王清賢,陳莉.  計(jì)算機(jī)應(yīng)用研究. 2009(05)
[2]基于簽名者隱私保護(hù)的公平合同簽署協(xié)議[J]. 劉文遠(yuǎn),張爽.  計(jì)算機(jī)工程. 2009(09)
[3]一種新的多方多合同簽署協(xié)議[J]. 王彩芬,俞惠芳,王會(huì)歌,易瑋.  電子學(xué)報(bào). 2007(10)
[4]新的公平電子合同簽署協(xié)議[J]. 王皓,歐毓毅,凌捷,郭荷清.  計(jì)算機(jī)工程與設(shè)計(jì). 2007(14)
[5]一種多方公平的電子合同協(xié)議的研究[J]. 孟馭旋.  計(jì)算技術(shù)與自動(dòng)化. 2005(04)



本文編號(hào)：3565974