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

Lecture notes in computer science

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

Aybek Mukhamedov, Steve Kremer, Eike Ritter

Published Jan 1, 2005• 22 citations
Publisher
DOI
10.1007/11507840_23

Related papers

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

Kremer, S, Mukhamedov, Aybek, Ritter, Eike

•Jan 1, 2005•0 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

Optimally Efficient Multi-Party Fair Exchange and Fair Secure Multi-Party Computation

Handan Kılınç, Alptekın Küpçü

Lecture notes in computer science•Jan 1, 2015•26 citations

Identity-based fair multi-party exchange protocol

Mei-mei FAN, Changgen Peng

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