Eighth IEEE Symposium on Computers and Communications
Certified Email: Design and Implementation of a New Optimistic Protocol
Kemer-Antalya, Turkey
June 30-July 03
ISBN: 0-7695-1961-X
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 Automaton (IOA) framework and provide a prototype implementation for the Windows platform.
Citation:
Carlo Blundo, Stelvio Cimato, Roberto De Prisco, "Certified Email: Design and Implementation of a New Optimistic Protocol," iscc, pp.828, Eighth IEEE Symposium on Computers and Communications, 2003