Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol

Research output: Contribution to journalArticlepeer-review


Colleges, School and Institutes


In this paper, we clarify and verify 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). We analyse the clarified protocol using applied pi calculus and the ProVerif tool, and demonstrate that it satisfies the intended properties of the protocol. Moreover, this paper shows that the verification result between the naive interpretation and the clarified interpretation is different.


Original languageEnglish
Pages (from-to)1-13
Number of pages13
JournalLecture Notes in Computer Science
Publication statusPublished - 1 Jan 2008
EventInformation Security Practice and Experience: Proceedings of 4th International Conference, ISPEC 2008, Sydney, Australia, April 21-23 - Berlin, Heidelberg
Duration: 1 Apr 2008 → …