Analysis of a Biometric Authentication Protocol for Signature Creation Application
Anongporn Salaiwarakul :: Friday 31st October 2008
Venue: Room 245 @ 1600
Abstract. I will presents an analysis of biometric authentication for signature creation application. This is the joint work with Mark Ryan. We extend the established protocol in order to verify the two properties: secrecy and safety. We have analysed the protocol using applied pi calculus and ProVerif. The verification of the secrecy property shows that the protocol holds the biometric data securely while the verification of the safety property shows that an intruder could not deceive the application to allow her to sign any document using a legitimate user's signature.