Sciweavers

4111 search results - page 255 / 823
» Security, Protocols, and Trust
Sort
View
MYCRYPT
2005
Springer
123views Cryptology» more  MYCRYPT 2005»
16 years 23 days ago
On Session Key Construction in Provably-Secure Key Establishment Protocols
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...
TARK
2005
Springer
16 years 22 days ago
Deciding knowledge properties of security protocols
Ramaswamy Ramanujam, S. P. Suresh
JELIA
2004
Springer
16 years 19 days ago
SATMC: A SAT-Based Model Checker for Security Protocols
Alessandro Armando, Luca Compagna
ACNS
2003
Springer
123views Cryptology» more  ACNS 2003»
16 years 15 days 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