Attacking Fair-Exchange Protocols: Parallel Models vs. Trace Models11We thank the anonymous reviewers for many useful suggestions and C. Marchetti for discussing the tricky issue of (fault-tolerant) local and distributed implementations of the Fair-Exchange protocol. This work is partly supported by ASI, CNR, and MURST grants. F. Massacci acknowledges the support of the CNR Fellowship 203-7-27
Electronic Notes in Theoretical Computer Science, 2003.
Full Text (Upload PDF)
PPT (Upload PPT)