The Running-Mode Analysis of Two-Party Optimistic Fair Exchange Protocols
- 694 Downloads
In this paper, we present a method of running-mode to analyze the fairness of two-party optimistic fair exchange protocols. After discussing the premises and assumptions of analysis introduced in this technique, we deduce all the possible running modes that may cause attack on the protocols. Then we illustrate our technique on the Micali’s Electronic Contract Signing Protocol (ECS1), and the checking results show that there are three new attacks on the protocol.
Unable to display preview. Download preview PDF.
- 3.Micali, S.: Simple and fast optimistic protocols for fair electronic exchange. In: Proc. of 22th Annual ACM Symp. on Principles of Distributed Computing, pp. 12–19. ACM Press, New York (2003)Google Scholar
- 4.Pagnia, H., Gartner, C.: On The Impossibility of Fair Exchange without a Trusted Third Party. Technical Report TUD-BS-1999-02, Darmstadt University of Technology (1999)Google Scholar