Salaiwarakul, Anongporn (2010) Verification of secure biometric authentication protocols. Ph.D. thesis, University of Birmingham.