This paper presents an analysis of biometric authentication for signature creation application. 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. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Salaiwarakul, A., & Ryan, M. D. (2008). Analysis of a biometric authentication protocol for signature creation application. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5312 LNCS, pp. 231–245). Springer Verlag. https://doi.org/10.1007/978-3-540-89598-5_16
Mendeley helps you to discover research relevant for your work.