2261 search results - page 4 / 453 » Dynamic types for authentication |
101
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
115
Voted
PERVASIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Small, mobile devices without user interfaces, such as Bluetooth headsets, often need to communicate securely over wireless networks. Active attacks can only be prevented...
ICBA
2004
Springer
15 years 7 months ago
2004
Springer
98
Voted
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
118
click to vote
ACNS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The use of biometrics, and fingerprint recognition in particular, for cardholder authentication in smartcard systems is growing in popularity, and such systems are the f...