Analysis of a multi-party fair exchange protocol and formal proof of  correctness in the strand space model

S Kremer, Aybek Mukhamedov, Eike Ritter

Research output: Contribution to conference (unpublished) › Paper

11 Citations (Scopus)

Original language	English
Pages	255-269
Number of pages	15
Publication status	Published - 1 Jan 2005
Event	2005 Conference on Financial Cryptography and Data Security - Duration: 1 Jan 2005 → …

Conference	2005 Conference on Financial Cryptography and Data Security
Period	1/01/05 → …

Cite this

@conference{107d88bdb2e14842af4435a9c0000bb9,

title = "Analysis of a multi-party fair exchange protocol and formal proof of correctness in the strand space model",

author = "S Kremer and Aybek Mukhamedov and Eike Ritter",

year = "2005",

month = jan,

day = "1",

language = "English",

pages = "255--269",

note = "2005 Conference on Financial Cryptography and Data Security ; Conference date: 01-01-2005",

}