Sciweavers

4111 search results - page 255 / 823
» Security, Protocols, and Trust
Sort
View
61
Voted
MYCRYPT
2005
Springer
123views Cryptology» more  MYCRYPT 2005»
15 years 6 months ago
On Session Key Construction in Provably-Secure Key Establishment Protocols
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...
81
Voted
TARK
2005
Springer
15 years 6 months ago
Deciding knowledge properties of security protocols
Ramaswamy Ramanujam, S. P. Suresh
57
Voted
JELIA
2004
Springer
15 years 6 months ago
SATMC: A SAT-Based Model Checker for Security Protocols
Alessandro Armando, Luca Compagna
103
Voted
ACNS
2003
Springer
123views Cryptology» more  ACNS 2003»
15 years 6 months ago
Security Protocols for Biometrics-Based Cardholder Authentication in Smartcards
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...
Luciano Rila, Chris J. Mitchell