基于博弈的多参与者合同签署协议的验证

发布时间：2022-01-03 08:50

　　在电子商务迅速发展的今天,公平交易已成为安全在线交易的一个关键问题。多方合同签署协议MPCS （Multi-Party Contract Signing） Protocols是确保公平交易的重要协议。MPCS协议是多个参与者用来在网上签署数字合同的协议,它的安全性直接决定了电子商务交易的公平公正。因此,MPCS协议的构建以及其安全性的检测越来越成为研究的热点。最新的两个典型的MPCS协议是Mukhamedov和Ryan在2007年提出的MR协议和Mauw, Radomirovic和Torabi Dashti在2009年提出的MRT协议。本文利用有限状态模型检测机（Model-checker） Mocha,对这两个协议进行了安全性分析和验证。Mocha可以使用交替时态逻辑Alternating-time temporal logic （ATL）来描述属性,而ATL的博弈语义（game semantics）使ATL可以用竞赛树（winning strategies）的方式进行模型检测。这使得我们可以更为直观的理解MPCS协议关键属性的验证过程。本文的主要贡献有：第一,对MR协议进行mode... 

【文章来源】：山东大学山东省 211工程院校 985工程院校 教育部直属院校

【文章页数】：72 页

【学位级别】：硕士

【文章目录】：
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
学位论文评阅及答辩情况表


【参考文献】：
期刊论文
[1]无滥用的乐观多方合同签署协议[J]. 李向东,王清贤,陈莉.  计算机应用研究. 2009(05)
[2]基于签名者隐私保护的公平合同签署协议[J]. 刘文远,张爽.  计算机工程. 2009(09)
[3]一种新的多方多合同签署协议[J]. 王彩芬,俞惠芳,王会歌,易玮.  电子学报. 2007(10)
[4]新的公平电子合同签署协议[J]. 王皓,欧毓毅,凌捷,郭荷清.  计算机工程与设计. 2007(14)
[5]一种多方公平的电子合同协议的研究[J]. 孟驭旋.  计算技术与自动化. 2005(04)



本文编号：3565974