Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Analysis of a multi-party fair exchange protocol and formal proof of correctness in the strand space model

Kremer, S, Mukhamedov, Aybek, Ritter, Eike

Published Jan 1, 2005• 0 citations
OpenAlex

Related papers

Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model

Aybek Mukhamedov, Steve Kremer, Eike Ritter

Lecture notes in computer science•Jan 1, 2005•22 citations

Formal analysis and design of multi-party fair exchange protocols

Qing Qing, Sihan, LI . +1 more

Science China Information Sciences•Jan 1, 2006•0 citations

Formal analysis and design of multi-party fair exchange protocols

Sihan Qing, LI Gai-cheng

Science in China Series F Information Sciences•Apr 1, 2006•0 citations

Multi-party Fair Exchange Protocol Using Ring Architecture Model

Insoo Khill, Jiseon Kim, Ingoo Han +1 more

Computers & Security•Jul 1, 2001•23 citations

Identity-based fair multi-party exchange protocol

Mei-mei FAN, Changgen Peng

Journal of Computer Applications•Apr 7, 2009•1 citation

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

Yuqing Zhang, Zhiling Wang, Bo Yang

Lecture notes in computer science•Jan 1, 2005•2 citations