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

M. Torabi Dashti

Research output: PhD ThesisPhD Thesis - Research external, graduation VU

19 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, Wan, Supervisor
  • van de Pol, J.C., Supervisor, External person
Place of PublicationVrije Universiteit
Publication statusPublished - 2008

Bibliographical note

Naam instelling promotie: Vrije Universiteit

Cite this