next up previous
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