Certified Email: Design and Implementation of a New Optimistic Protocol

Authors:
Carlo Blundo;Stelvio Cimato;Roberto De Prisco
Affiliations:
-;-;-
Venue:
ISCC '03 Proceedings of the Eighth IEEE International Symposium on Computers and Communications
Year:
2003

Citing 0
Cited 3

SELS: a secure e-mail list service

Proceedings of the 2005 ACM symposium on Applied computing
Certified mailing lists

ASIACCS '06 Proceedings of the 2006 ACM Symposium on Information, computer and communications security
Modeling A Certified Email Protocol using I/O Automata

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Nowadays email has become the most widely used meansin daily communication on the net and is increasingly usedin place of ordinary mail. Certified email protocols aim toprovide additional properties to the standard email service.In this paper we provide a novel optimistic protocol for certifiedemail satisfying nine of the most important propertiesusually considered in the literature. We give a formal descriptionof the protocol with the Input/Output Automaton(IOA) framework and provide a prototype implementationfor the Windows platform.