A game-based verification of nonrepudiation and fair exchange protocols,” (2001)

by S Kremer, J F Raskin
Venue:in CONCUR, 2001— Concurrency Theory,