next up previous
Next: Some Pitfalls of Up: CryptoLog: A Theorem Prover Previous: Introduction


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