Verifying authentication protocols: methodology and example.

Thomas Y. C. Woo, Simon S. Lam

Browse the full ICNP paper archive.