Original language | English |
---|---|
Qualification | PhD |
Awarding Institution |
|
Supervisors/Advisors |
|
Place of Publication | Vrije Universiteit |
Publication status | Published - 2008 |
Keeping Fairness Alive: Design and formal verification of optimistic fair exchange protocols
M. Torabi Dashti
Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal
343
Downloads
(Pure)