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
-
CC BY
BibTeX
@misc{cryptoeprint:2002/084,
author = {Amir Herzberg},
title = {Towards Provably-Secure Timed E-Commerce: The Trusted Delivery Layer},
howpublished = {Cryptology {ePrint} Archive, Paper 2002/084},
year = {2002},
url = {https://eprint.iacr.org/2002/084}
}
