A Certified Email Protocol Using Key Chains

Authors:
J. Cederquist;M. Torabi Dashti;S. Mauw
Affiliations:
SQIG-IT and IST, TULisbon, Portugal;CWI, The Netherlands;University of Luxembourg, Luxembourg
Venue:
AINAW '07 Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 01
Year:
2007

Citing 0
Cited 3

Verification of A Key Chain Based TTP Transparent CEM Protocol

Electronic Notes in Theoretical Computer Science (ENTCS)
State and Progress in Strand Spaces: Proving Fair Exchange

Journal of Automated Reasoning
Design and formal verification of a CEM protocol with transparent TTP

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces an asynchronous optimistic certified email protocol, with stateless recipients, that relies on key chains to considerably reduce the storage requirements of the trusted third party. The proposed protocol thereby outperforms the existing schemes that achieve strong fairness. The paper also discusses the revocation of compromised keys as well as practical considerations regarding the implementation of the protocol.