Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol.

Anongporn Salaiwarakul Mark Dermot Ryan

Published in: ISPEC (2008)

Keyphrases

authentication protocol
security analysis
user authentication
cryptographic protocols
mutual authentication
key distribution
security properties
lightweight
smart card
person identification
session key
public key
authentication scheme
multimodal biometrics
formal methods
rfid tags
palmprint
high dimensional