Thomas Y. C. Woo, Simon S. Lam. Design, verification and implementation of an authentication protocol. In 1994 International Conference on Network Protocols, ICNP 1994, Boston, MA, USA, October 25-28, 1994, Proceedings. pages 81-90, IEEE, 1994. [doi]
Abstract is missing.