378 search results - page 28 / 76 » Security Protocol Design via Authentication Tests |
IJNSEC
2007
15 years 10 days ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
82
Voted
CCS
2003
ACM
15 years 5 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
ISCC
2003
IEEE
15 years 5 months ago
2003
IEEE
Hierarchical Mobile IPv6 (HMIPv6) is a protocol that enhances Mobile IPv6 (MIPv6) with faster handovers. Neither HMIPv6 nor MIPv6 provides ways to authenticate roaming mobile node...
106
Voted
CTRSA
2008
Springer
15 years 2 months ago
2008
Springer
Public key based authentication and key exchange protocols are not usually designed with privacy in mind and thus involve cleartext exchanges of identities and certificates before ...
90
Voted
CARDIS
1998
Springer
15 years 4 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...