Implementation of a Provably Secure, Smartcard-Based Key Distribution Protocol

We describe the implementation of the Shoup-Rubin key distribution protocol. This protocol stores long-term keys on a smartcard and uses the cryptographic capability of the card to generate and distribute session keys securely. The designers of the protocol provide a mathematical proof of its security, using techniques pioneered by Bellare and Rogaway. Combining this theoretical strength with our implementation on tamper resistant hardware results in practical and powerful middleware functionality, useful in applications that demand strong authentication and confidentiality. June 24, 1998 Center for Information Technology Integration University of Michigan 519 West William Street Ann Arbor, MI 48103-4943 

• Type: Conference
• Year: 1998
• Where: CARDIS
• Authors: Rob Jerdonek, Peter Honeyman, Kevin Coffman, Jim Rees, Kip Wheeler
• Keywords: CARDIS 1998, Hardware, Key Distribution Protocol, Stores Long-term Keys, Tamper Resistant Hardware