loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Carlo Blundo, Universit? di Salerno
Stelvio Cimato, Universit? di Salerno
Roberto De Prisco, Universit? di Salerno
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.