1490 search results - page 119 / 298 » The Logic of Authentication Protocols |
ACISP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...
ICN
2005
Springer
14 years 2 months ago
2005
Springer
Proposed by Maurer the bounded storage model has received much academic attention in the recent years. Perhaps the main reason for this attention is that the model facilitates a un...
ICALP
2001
Springer
14 years 1 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
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...
COMSIS
2006
13 years 9 months ago
2006
Constant increase in use of wireless infrastructure networks for business purposes created a need for strong safety mechanisms. This paper describes WEP (Wired Equivalent Privacy) ...