Protocol-Independent Secrecy Results

date: april 2002 author: Frederic Blanqui email: blanqui@lri.fr webpage:

The current development is built above the HOL (Higher-Order Logic) Isabelle theory and the formalization of protocols introduced by Larry Paulson. More details are in his paper The Inductive approach to verifying cryptographic protocols (J. Computer Security 6, pages 85-128, 1998).

This directory contains a number of files:


Last modified 20 August 2002

Frederic Blanqui, blanqui@lri.fr