×

zbMATH — the first resource for mathematics

A top-down look at a secure message. (English) Zbl 0983.94511
Pandu Rangan, C. (ed.) et al., Foundations of software technology and theoretical computer science. 19th conference, Chennai, India, December 13-15, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1738, 122-141 (1999).
Summary: 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.
For the entire collection see [Zbl 0931.00044].

MSC:
94A60 Cryptography
68P25 Data encryption (aspects in computer science)
PDF BibTeX XML Cite