loading...
Certified Email: Design and Implementation of a New Optimistic Protocol
Kemer-Antalya, Turkey June 30-July 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISCC.2003.1214220Eighth IEEE Symposium on Computers an ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.