Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol

Anongporn Salaiwarakul, Mark Ryan

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)

Abstract

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
Volume4991
DOIs
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 → …

Fingerprint

Dive into the research topics of 'Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol'. Together they form a unique fingerprint.

Cite this