Login / Signup

Design, verification and implementation of an authentication protocol.

Thomas Y. C. WooSimon S. Lam
Published in: ICNP (1994)
Keyphrases
  • authentication protocol
  • formal methods
  • sensor networks
  • software engineering
  • lightweight
  • smart card
  • embedded systems