Formal Fairness Proofs for Optimistic Contract Signing Protocols

Local TagsRelease HistoryDetailsSummary

Formal Fairness Proofs for Optimistic Contract Signing Protocols

Veit, J. (1999). Formal Fairness Proofs for Optimistic Contract Signing Protocols. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-364E-5 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD0A-4

Genre: Thesis

show

show

hide

Creators:
Veit, Jörg¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

show

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1999Date issued: 1999

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519762
Other: Local-ID: C1256104005ECAFC-C05A82115F0047BAC12568AE0069E170-Veit1999

Degree: Master

show

show

show

show