Implementation of a Provably Secure, Smartcard-Based Key Distribution Protocol. - Rob Jerdonek; Peter Honeyman; Kevin Coffman; Jim Rees; Kip Wheeler (CARDIS, 1998)