Anongporn Salaiwarakul Mark Dermot Ryan Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol. 1-13 2008 ISPEC http://dx.doi.org/10.1007/978-3-540-79104-1_1 conf/ispec/2008 db/conf/ispec/ispec2008.html#SalaiwarakulR08