275 search results - page 5 / 55 » Analysis of a Fair Exchange Protocol |
77
Voted
ICDE
2007
IEEE
15 years 3 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
ECRA
2007
14 years 9 months ago
2007
Some electronic commerce transactions are inherently performed between more than two parties. In this context, it is thus important to determine whether the underlying fair exchan...
FCT
2003
Springer
15 years 2 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
CSI
2008
14 years 9 months ago
2008
This paper presents a new fair document exchange protocol based on bilinear pairing with off-line trusted third party (TTP). In such a fair exchange scenario, each party owns a va...
ICISC
2001
14 years 11 months ago
2001
In 1999, Bao et al. proposed [5] a multi-party fair exchange protocol of electronic items with an offline trusted third party. In this protocol, a coalition including the initiator...