DMCA

Analysis of a Multi-Party Fair Exchange Protocol And Formal Proof of . . . (2004)

by Steve Kremer , Aybek Mukhamedov , Eike Ritter
Venue:17TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP
Citations:4 - 0 self