Formal Fairness Proofs for Optimistic Contract Signing Protocols

アイテム詳細

登録内容を編集ファイル形式で保存

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 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-000F-364E-5 版のパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0024-AD0A-4

資料種別: 学位論文

表示:

非表示:

作成者:
Veit, Jörg¹, 著者

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

非表示:

言語: eng - English

日付: 修正: 2010-03-12受理: 1999出版: 1999

出版の状態: 出版

ページ: -

出版情報: Saarbrücken : Universität des Saarlandes

目次: -

査読: -

識別子（DOI, ISBNなど）: eDoc: 519762
その他: Local-ID: C1256104005ECAFC-C05A82115F0047BAC12568AE0069E170-Veit1999

学位: 修士号 (Master)