Sciweavers

4 search results - page 1 / 1
» Analysis of a Multi-party Fair Exchange Protocol and Formal ...
Sort
View
FC
2005
Springer
134views Cryptology» more  FC 2005»
14 years 1 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
WKDD
2010
CPS
217views Data Mining» more  WKDD 2010»
14 years 2 months 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
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
13 years 12 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...
CSIE
2009
IEEE
14 years 2 months ago
Improvement of BW Multi-party Contract Signing Protocol: Model and Formal Analysis
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed cont...
Xiangdong Li, Qingxian Wang, Xiaoyan Jin