Verification of Integrity and Secrecy Properties of a biometric Authentication Protocol

[SalaiwarakulRyan2008] Anongporn Salaiwarakul and Mark Ryan. Verification of Integrity and Secrecy Properties of a biometric Authentication Protocol. In Fourth Information Security Practice and Experience Conference (ISPEC'08), Springer. 2008.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/08-biometric.pdf