Cryptographic protocols are of major importance, especially with the growing use of the Internet. This directory demonstrates a new proof method. The operational semantics of protocol participants is defined inductively. The directory contains proofs concerning
Last modified 30 Jan 1998
lcp@cl.cam.ac.uk