Keeping fairness alive : design and formal verification of optimistic fair exchange protocols

Additional Metadata
THEME	Software (theme 1)
Promotor	W.J. Fokkink (Wan) , J.C. van de Pol (Jaco)
Degree Grantor	Vrije universiteit Amsterdam
ISBN	978-90-6464-220-3
Persistent URL	hdl.handle.net/1871/11697
Series	Institute for Programming research and Algorithmics Dissertation Series ; 2008-7
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Dashti, M. (2008, February 27). Keeping fairness alive : design and formal verification of optimistic fair exchange protocols. IPA dissertation series. Retrieved from http://hdl.handle.net/1871/11697

Publication