International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

The Delivery and Evidences Layer

Authors:
Amir Herzberg
Igal Yoffe
Download:
URL: http://eprint.iacr.org/2007/139
Search ePrint
Search Google
Abstract: 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).
BibTeX
@misc{eprint-2007-13421,
  title={The Delivery and Evidences Layer},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / certified delivery, cryptographic protocol, fair exchange, layered specifications,  non-repudiation, secure e-commerce.},
  url={http://eprint.iacr.org/2007/139},
  note={ igal.yoffe@gmail.com 13622 received 19 Apr 2007},
  author={Amir Herzberg and Igal Yoffe},
  year=2007
}