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. © 2012 Springer-Verlag.
CITATION STYLE
Hartung, D., & Busch, C. (2012). Biometric transaction authentication protocol: Formal model verification and “four-eyes” principle extension. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7126 LNCS, pp. 88–103). https://doi.org/10.1007/978-3-642-29889-9_8
Mendeley helps you to discover research relevant for your work.