In this paper, we present a method or running-mode to analyze the fairness or 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 arc three new attacks on the protocol. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Zhang, Y., Wang, Z., & Yang, B. (2005). The running-mode analysis of two-party optimistic fair exchange protocols. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3802 LNAI, pp. 137–142). Springer Verlag. https://doi.org/10.1007/11596981_20
Mendeley helps you to discover research relevant for your work.