You are looking at a specific version 20040208:163009 of this paper. See the latest version.

Paper 2002/084

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

Amir Herzberg

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.

Note: Substantially improved version.

Metadata
Available format(s)
PDF
Publication info
Published elsewhere. Unknown where it was published
Keywords
secure electronic commercenon-repudiationtimestampcertified deliverycertified mailcertified e-mailnotarized deliverynotarizatione-bankingcontract signingtimestamping
Contact author(s)
herzbea @ cs biu ac il
History
2004-02-08: last of 2 revisions
2002-06-28: received
See all versions
Short URL
https://ia.cr/2002/084
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.