Sciweavers

11 search results - page 1 / 3
» Fair Exchange in Strand Spaces
Sort
View
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
CORR
2009
Springer
92views Education» more  CORR 2009»
13 years 3 months ago
Fair Exchange in Strand Spaces
Joshua D. Guttman
WKDD
2010
CPS
217views Data Mining» more  WKDD 2010»
14 years 9 days 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 9 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 days 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