Design, verification and implementation of an authentication protocol.

Thomas Y. C. Woo, Simon S. Lam

Browse the full ICNP paper archive.