Formal analysis of a non-repudiation protocol. (1998)

by S A Schneider
Venue:In 11th IEEE Computer Security Foundations Workshop,