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 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||