Title :
A fair non-repudiation protocol
Author :
Zhou, Jianying ; Gollman, D.
Author_Institution :
Dept. of Comput. Sci., London Univ., Egham, UK
Abstract :
A fair non-repudiation protocol should not give the sender of a message an advantage over the receiver, or vice versa. We present a fair non-repudiation protocol that requires a trusted third party but attempts to minimize its involvement in the execution of the protocol. We draw particular attention to the nonstandard use of encryption in our protocol and discuss some aspects of its formal verification
Keywords :
cryptography; formal verification; protocols; encryption; fair nonrepudiation protocol; formal verification; message receiver; message sender; trusted third party; Communication channels; Context-aware services; Cryptography; Data security; Digital signatures; Formal verification; Information security; Protection; Protocols; Public key;
Conference_Titel :
Security and Privacy, 1996. Proceedings., 1996 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-7417-2
DOI :
10.1109/SECPRI.1996.502669
