Fokkink, W.J. [Promotor]Pol, J.C. van de [Promotor

Torabi Dashti, M.

DSpace at VU

Keeping Fairness Alive : Design and formal verification of optimistic fair exchange protocols

NARCIS 

Keeping Fairness Alive: Design and formal verification of optimistic fair exchange protocols

VU Research Portal

VU Research PortalKeeping Fairness AliveTorabi Dashti, M.2008document versionPublisher's PDF, also known as Version of recordLink to publication in VU Research Portalcitation for published version (APA)Torabi Dashti, M. (2008). Keeping Fairness Alive: Design and formal verification of optimistic fair exchangeprotocols.General rightsCopyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright ownersand it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.            • Users may download and print one copy of any publication from the public portal for the purpose of private study or research.            • You may not further distribute the material or use it for any profit-making activity or commercial gain            • You may freely distribute the URL identifying the publication in the public portal ?Take down policyIf you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediatelyand investigate your claim.E-mail address:vuresearchportal.ub@vu.nlDownload date: 27. May. 2021Naamloos-2   1 02-01-2008   13:52:22

English

Keeping Fairness Alive:Design and formal verification of optimistic fair exchange protocols

https://research.vu.nl/ws/files/42181038/cover.pdf

Keeping Fairness Alive : Design and formal verification of optimistic fair exchange protocols

Abstract

Similar works

Full text

Available Versions

DSpace at VU

NARCIS

VU Research Portal