next up previous
Next: Enhanced Needham-Schroeder Protocol Up: CryptoLog: A Theorem Prover Previous: Notations

Some Pitfalls of Logics

The use of logics for cryptographic protocols can be hampered in practical applications. In this section, we will show two examples where the `use' of the logics is not optimal:

Bart De Decker
Mon Aug 4 16:31:43 MET DST 1997