Annie Salaiwarakul
CSRG seminar on 7th March 2008 at 12:00
Room 245, School of Computer Science

Title: Verification of integrity and secrecy properties of a biometric authentication protocol

Abstract: In this talk, I will show the clarification and verification of an established biometric authentication protocol. The selected protocol is intended to have three properties: effectiveness (integrity checks are carried out on all hardware before enabling transmission of biometric data), correctness (the user is satisfied that integrity checks have been executed correctly before transmission of biometric data occurs), and secrecy (unauthorized users cannot obtain biometric data by intercepting messages between the system's hardware components). This talk shows an analysis of the the clarified protocol using applied pi calculus and the ProVerif tool, and demonstrates that it satisfies the intended properties of the protocol. Moreover, the talk shows that the verification result between the naive interpretation and the clarified interpretation is different.