Sciweavers

11 search results - page 1 / 3
» Fair Exchange in Strand Spaces
Sort
View
116
Voted
FC
2005
Springer
134views Cryptology» more  FC 2005»
15 years 6 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
70
Voted
CORR
2009
Springer
92views Education» more  CORR 2009»
14 years 10 months ago
Fair Exchange in Strand Spaces
Joshua D. Guttman
99
Voted
WKDD
2010
CPS
217views Data Mining» more  WKDD 2010»
15 years 7 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
102
Voted
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 5 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...
94
Voted
CSIE
2009
IEEE
15 years 7 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