DMCA

A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols (2001)

by Steve Kremer , Jean-François Raskin
Citations:72 - 3 self