Attacking fair-exchange protocols: parallel models vs trace models.

Luigia Carlucci Aiello Fabio Massacci

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

probabilistic model