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

Anongporn Salaiwarakul, Mark Dermot Ryan

Browse the full ISPEC paper archive.