The Verisoft project is a long–term research project, funded by the German Federal Ministry of Education and Research. It aims at verifying the correctness of concrete application tasks, one from academic and up to four from industrial backgrounds. This paper gives an introduction to one of the industrial applications, subproject 4 “Chipcard Based Biometric Identification System (CBI system)”. Firstly, biometric systems in general are discussed in order to define security requirements of a more secure system. Then the security functions and the overall design of the CBI system as well as verification task are identified. Finally a more detailed view of the implemented function is provided.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dolev D, Yao AC (1983), On security of public key protocols. In Transactions of Information Theory, volume 29 of IEEE, pages 198-208
Giampaolo B, Lawrence C (2001), Paulson Mechanical Proofs about a Non-Repudiation protocol. In Richard J. Boulton and Paul B. Jackson, editors, Proc. of TPHOL 2001, 14th international conference on Theorem Proving in Higher Order Logics, volume 2152 of LNCS, pages 91-104
Hutter D et al. (1996), Verification Support Environment (VSE). High Integrity Systems, 1(6):523-530
Lassmann G et al. (2004), Übersichtsspezifikation: Verisoft - Chipkartenbasiertes Biometrisches Identifikationssystem. Technical Report, T-Systems Nova
Lassmann G (Ed.) (2006), Bewertungskriterien zur Vergleichbarkeit biometischer Verfahren, TeleTrusT Working Group 6, 2002 &1998, new in 2006, http://www.teletrust.de
Paulson LC (1998), The inductive approach to verifying cryptographic protocols. Journal of Computer Security, 6:85-128
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rock, G., Lassmann, G., Schwan, M., Cheikhrouhou, L. (2008). Verisoft – secure biometric identification system. In: Welfens, P.J.J., Walther-Klaus, E. (eds) Digital Excellence. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72621-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-72621-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72620-3
Online ISBN: 978-3-540-72621-0
eBook Packages: Business and EconomicsEconomics and Finance (R0)