@inproceedings{abadi1999a,
author = {Abadi, Martín and Fournet, Cédric and Gonthier, Georges},
title = {A Top-Down Look at a Secure Message},
booktitle = {19th Conference Chennai, India, December 13-15, 1999 Proceedings},
year = {1999},
month = {December},
abstract = {In ongoing work, we are investigating the design of secure distributed implementations of high-level process calculi (in particular, of the join-calculus). We formulate implementations as translations to lower-level languages with cryptographic primitives. Cryptographic protocols are essential components of those translations. In this paper we discuss basic cryptographic protocols for transmitting a single datum from one site to another. We explain some sufficient correctness conditions for these protocols. As an example, we present a simple protocol and a proof of its correctness.},
publisher = {Springer Berlin Heidelberg},
url = {http://approjects.co.za/?big=en-us/research/publication/top-look-secure-message/},
pages = {122-141},
edition = {19th Conference Chennai, India, December 13-15, 1999 Proceedings},
}