2010 International Conference on Computational Intelligence and Security 2010
DOI: 10.1109/cis.2010.76
|View full text |Cite
|
Sign up to set email alerts
|

Game-Based Analysis and Improvement of a Fair Contract Signing Protocol

Abstract: Traditional temporal logic regards protocols as close system to analyze. In order to overcome the shortcoming of traditional temporal logic, an game-based analysis method is inducted. This method is applied to formal analyze a fair contract signing protocol, and then some defects of the protocol are found. An improvement protocol is proposed which fixes the flaw by adding some extra time limit information and an abort subprotocol. The fairness and the timeliness of the improvement protocol are validated by ATL… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2012
2012
2012
2012

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 10 publications
0
1
0
Order By: Relevance
“…Xueming Wang et al [3] proposed game based analysis method to analyze a fair contract signing protocol, and some defects of the protocol. They proposed improvement protocol which fixes the flaw by adding some extra time limit information and an abort sub-protocol.…”
Section: Introductionmentioning
confidence: 99%
“…Xueming Wang et al [3] proposed game based analysis method to analyze a fair contract signing protocol, and some defects of the protocol. They proposed improvement protocol which fixes the flaw by adding some extra time limit information and an abort sub-protocol.…”
Section: Introductionmentioning
confidence: 99%