Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

The Running-Mode Analysis of Two-Party Optimistic Fair Exchange Protocols

  • Conference paper
Computational Intelligence and Security (CIS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3802))

Included in the following conference series:

  • 1243 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Zhang, Y.Q., Li, J.H., Xiao, G.Z.: An approach to the formal verification of the two-party cryptographic protocols. ACM Operating Systems Review 33(4), 48–51 (1999)

    Article  Google Scholar 

  2. Zhang, Y.Q., Liu, X.Y.: An approach to the formal verification of the three-principal cryptographic protocols. ACM Operating Systems Review 38(1), 35–42 (2004)

    Article  Google Scholar 

  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 

  5. Bao, F., Wang, G.L., Zhou, J.Y., Zhu, H.F.: Analysis and Improvement of Micali’s Fair Contract Signing Protocol. In: Wang, H., Pieprzyk, J., Varadharajan, V. (eds.) ACISP 2004. LNCS, vol. 3108, pp. 176–187. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. State Key Laboratory of Information Security, GUCAS, Beijing, 100049, China

    Yuqing Zhang

  2. National Key Laboratory of ISN, Xidian University, Xi’an, 710071, China

    Zhiling Wang

  3. College of Information, South China Agricultural University, Guangzhou, 510642, China

    Bo Yang

Authors
  1. Yuqing Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhiling Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Bo Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Microelectronic Instiute, Xidian University, 710071, Xi’an, China

    Yue Hao

  2. Department of Computer Science, Hong Kong Baptist University, Kowloon Tong, Hong Kong

    Jiming Liu

  3. School of Computer Science and Technology, Xidian University, Xi’an, China

    Yu-Ping Wang

  4. Department of Computer Science, Hong Kong Baptist University, Hong Kong,  

    Yiu-ming Cheung

  5. School of Electrical and Electronic Engineering, University of Manchester, UK

    Hujun Yin

  6. Life Science Research Center, School of Electronic Engineering, Xidian University, 710071, Xi’an, Shaanxi, China

    Licheng Jiao

  7. Key Laboratory of Computer Networks and Information Security(Ministry of Education), Xidian University, 710071, Xi’an, China

    Jianfeng Ma

  8. National Laboratory of Antennas and Microwave Technology, Xidian University, 710071, Xi’an, Shanxi, P.R. China

    Yong-Chang Jiao

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, Y., Wang, Z., Yang, B. (2005). The Running-Mode Analysis of Two-Party Optimistic Fair Exchange Protocols. In: Hao, Y., et al. Computational Intelligence and Security. CIS 2005. Lecture Notes in Computer Science(), vol 3802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596981_20

Download citation

  • DOI: https://doi.org/10.1007/11596981_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-30819-5

  • Online ISBN: 978-3-540-31598-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation