A Game-Based Verification of Non-repudiation and Fair Exchange Protocols.

Steve Kremer, Jean-Franois Raskin

Browse the full CONCUR paper archive.