International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Towards Provably-Secure Timed E-Commerce: The Trusted Delivery Layer

Authors:
Amir Herzberg
Download:
URL: http://eprint.iacr.org/2002/084
Search ePrint
Search Google
Abstract: Certified exchange of messages is an essential mechanism for e-commerce; the timing aspects (timeouts and timestamps) are very important for practical applications. However existing formal methods for security analysis assume simplified completely synchronous or completely asynchronous models, and cannot deal with the timing aspects of these (and other e-commerce) protocols. We present model for realistic, Δ-synchronized adversarial settings. We then present a simple, efficient and provably-secure protocol for certified, time-stamped message delivery, providing precise guarantees of delay and timestamps. Our model and analysis use concrete (rather than asymptotic) notions of security.
BibTeX
@misc{eprint-2002-11607,
  title={Towards Provably-Secure Timed E-Commerce:  The Trusted Delivery Layer},
  booktitle={IACR Eprint archive},
  keywords={secure electronic commerce; non-repudiation; timestamp; certified delivery; certified mail; certified e-mail; notarized delivery; notarization; e-banking; contract signing; timestamping},
  url={http://eprint.iacr.org/2002/084},
  note={ herzbea@cs.biu.ac.il 12456 received 27 Jun 2002, last revised 8 Feb 2004},
  author={Amir Herzberg},
  year=2002
}