88 search results - page 1 / 18 » Implementation of a Provably Secure, Smartcard-Based Key Dis... |
CARDIS
1998
Springer
14 years 1 months ago
1998
Springer
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 t...
COMPSEC
2010
13 years 6 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
CCS
1993
ACM
14 years 1 months ago
1993
ACM
Many recent research e orts in computer security focus on constructing provably secure authentication protocols. Although many of the resulting protocols rely on the a priori secu...
ASIACRYPT
2000
Springer
14 years 29 days ago
2000
Springer
A conference key protocol allows a group of participants to establish a secret communication (conference) key so that all their communications thereafter are protected by the key. ...
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...