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

M. Torabi Dashti

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

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, W.J., 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

@phdthesis{f3c94f843f3f431f982728027ac6c297,
title = "Keeping Fairness Alive: Design and formal verification of optimistic fair exchange protocols",
author = "{Torabi Dashti}, M.",
note = "Naam instelling promotie: Vrije Universiteit",
year = "2008",
language = "English",
school = "Vrije Universiteit Amsterdam",

}

Torabi Dashti, M 2008, 'Keeping Fairness Alive: Design and formal verification of optimistic fair exchange protocols', PhD, Vrije Universiteit Amsterdam, Vrije Universiteit.

Keeping Fairness Alive : Design and formal verification of optimistic fair exchange protocols. / Torabi Dashti, M.

Vrije Universiteit, 2008.

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

TY - THES

T1 - Keeping Fairness Alive

T2 - Design and formal verification of optimistic fair exchange protocols

AU - Torabi Dashti, M.

N1 - Naam instelling promotie: Vrije Universiteit

PY - 2008

Y1 - 2008

M3 - PhD Thesis - Research external, graduation VU

CY - Vrije Universiteit

ER -