1490 search results - page 9 / 298 » The Logic of Authentication Protocols |
ACNS
2003
Springer
14 years 22 days 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...
ESAS
2007
Springer
13 years 11 months ago
2007
Springer
Secure communication over wireless channels necessitates authentication of communication partners to prevent man-in-the-middle attacks. For spontaneous interaction between independ...
ERSHOV
2003
Springer
14 years 21 days ago
2003
Springer
We study the roles of message components in authentication protocols. In particular, we investigate how a certain component contributes to the task of achieving entity authenticati...
ACNS
2008
Springer
14 years 1 months ago
2008
Springer
Abstract. One of the main challenges in RFIDs is the design of privacypreserving authentication protocols. Indeed, such protocols should not only allow legitimate readers to authen...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...