Optimistic Non-repudiation Protocol Analysis.

Judson Santiago, Laurent Vigneron

Browse the full WISTP paper archive.