Next: Some
Pitfalls of Up: CryptoLog:
A Theorem Prover Previous: Introduction
Notations
The notations used in this paper are similar to those of the BAN- and
GNY-papers [1,3].
Table 1 summarizes briefly the most
important formulae.
Table 1: Symbols used in this paper.
Bart De Decker
Mon Aug 4 16:31:43 MET DST 1997