Sciweavers

17 search results - page 1 / 4
» Analysis on Cyclic Multi-party Fair Exchange Protocols
Sort
View
WKDD
2010
CPS
217views Data Mining» more  WKDD 2010»
14 years 17 hour ago
Two-round Multi-Party Contract Signing
—A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to reach a state in which either each of them has a pre-agreed contra...
Xiangdong Li, Qiusheng Zheng
CSFW
2004
IEEE
13 years 8 months ago
Formal Analysis of Multi-Party Contract Signing
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...
Rohit Chadha, Steve Kremer, Andre Scedrov
CSSE
2008
IEEE
13 years 6 months ago
Analysis on Cyclic Multi-party Fair Exchange Protocols
Xiangdong Li, Qingxian Wang, Li Chen
FC
2005
Springer
134views Cryptology» more  FC 2005»
13 years 10 months ago
Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model
Abstract. A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and on...
Aybek Mukhamedov, Steve Kremer, Eike Ritter
IPPS
2005
IEEE
13 years 10 months ago
ExchangeGuard: A Distributed Protocol for Electronic Fair-Exchange
1 Electronic fair-exchange protocols have received significant attention from the research community in the recent past. In loose terms, the fair exchange problem is defined as at...
Mudhakar Srivatsa, Li Xiong, Ling Liu