Certified email: design and implementation of a new optimistic protocol

Nowadays email has become the most widely used means in daily communication on the net and is increasingly used in place of ordinary mail. Certified email protocols aim to provide additional properties to the standard email service. In this paper we provide a novel optimistic protocol for certified email satisfying nine of the most important properties usually considered in the literature. We give a formal description of the protocol with the input/output automation (IOA) framework and provide a prototype implementation for the Windows platform.

[1]  N. Asokan,et al.  Asynchronous protocols for optimistic fair exchange , 1998, Proceedings. 1998 IEEE Symposium on Security and Privacy (Cat. No.98CB36186).

[2]  Josep Lluís Ferrer-Gomila,et al.  Certified Electronic Mail Protocol Resistant to a Minority of Malicious Third Parties , 2000, INFOCOM.

[3]  Martín Abadi,et al.  Certified email with a light on-line trusted third party: design and implementation , 2002, WWW.

[4]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[5]  Dieter Gollmann,et al.  Evidence and non-repudiation , 1997 .

[6]  Dieter Gollmann,et al.  A fair non-repudiation protocol , 1996, Proceedings 1996 IEEE Symposium on Security and Privacy.

[7]  Michael T. Goodrich,et al.  TRICERT: A Distributed Certified E-Mail Scheme , 2001, NDSS.

[8]  N. Asokan,et al.  Optimistic protocols for fair exchange , 1997, CCS '97.

[9]  Robert H. Deng,et al.  Practical protocols for certified electronic mail , 1996, Journal of Network and Systems Management.

[10]  Dieter Gollmann,et al.  Certified Electronic Mail , 1996, ESORICS.