Media type: E-Book Title: Deciding Properties of Contract-Signing Protocols Contributor: Kähler, Detlef [VerfasserIn]; Kuesters, Ralf [VerfasserIn]; Wilke, Thomas [VerfasserIn] Corporation: Christian-Albrechts-Universität zu Kiel, Institut für Informatik imprint: Kiel: Inst. für Informatik, 2004 Published in: Christian-Albrechts-Universität zu Kiel: Bericht ; 2004,9 Extent: 1 Online-Ressource (29 Seiten); Illustrationen Language: English Identifier: Keywords: Forschungsbericht Origination: Footnote: Access State: Open Access