eprint.iacr.org will be offline for approximately an hour for routine maintenance again at 10pm UTC on Wednesday, April 17.

Paper 2007/139

The Delivery and Evidences Layer

Amir Herzberg and Igal Yoffe


Evidences of delivery are essential for resolving (and avoiding) disputes on delivery of messages, in classical as well as electronic commerce. We present the first rigorous specifications and provably-secure implementation, for a communication layer providing time-stamped evidences for the message delivery process. This improves on existing standards for evidences (‘non-repudiation’) services, based on informal specifications and unproven designs. Our work also improves on the large body of analytical works on tasks related to evidences of delivery, such as certified mail/delivery protocols and fair exchange (of signatures). We improve by addressing practical needs and scenarios, using realistic synchronization and communication assumptions, supporting time-outs and failures, and providing well-defined interface to the higher-layer protocols (application). Furthermore, we use the layered specifications framework, allowing provably-secure use of our protocol, with lower and higher layer protocols, with complete re-use of our analysis (theorems).

Available format(s)
Cryptographic protocols
Publication info
Published elsewhere. Unknown where it was published
certified deliverycryptographic protocolfair exchangelayered specificationsnon-repudiationsecure e-commerce.
Contact author(s)
igal yoffe @ gmail com
2007-04-20: received
Short URL
Creative Commons Attribution


      author = {Amir Herzberg and Igal Yoffe},
      title = {The Delivery and Evidences Layer},
      howpublished = {Cryptology ePrint Archive, Paper 2007/139},
      year = {2007},
      note = {\url{https://eprint.iacr.org/2007/139}},
      url = {https://eprint.iacr.org/2007/139}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.