Biometric transaction authentication protocol: formal model verification and "four-eyes" principle extension

Authors:
Daniel Hartung;Christoph Busch
Affiliations:
Norwegian Information Security laboratory, Faculty for Computer Science and Media Technology, Gjøvik University College, Gjøvik, Norway;Norwegian Information Security laboratory, Faculty for Computer Science and Media Technology, Gjøvik University College, Gjøvik, Norway
Venue:
FC'11 Proceedings of the 2011 international conference on Financial Cryptography and Data Security
Year:
2011

Citing 7
Cited 0

A calculus of mobile processes, I

Information and Computation
A calculus for cryptographic protocols: the spi calculus

Proceedings of the 4th ACM conference on Computer and communications security
MDx-MAC and Building Fast MACs from Hash Functions

CRYPTO '95 Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules

CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Pseudorandom functions revisited: the cascade construction and its concrete security

FOCS '96 Proceedings of the 37th Annual Symposium on Foundations of Computer Science
On the security of public key protocols

SFCS '81 Proceedings of the 22nd Annual Symposium on Foundations of Computer Science
Biometric Transaction Authentication Protocol

SECURWARE '10 Proceedings of the 2010 Fourth International Conference on Emerging Security Information, Systems and Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

The BTA protocol for biometric authentication of online banking transactions is extended to allow for multiple person authenticated transactions. In addition a formal specification is given, the protocol is modelled in the applied pi calculus and the security properties of data and person authentication as well as non-repudiation are verified using the tool ProVerif.