Verisoft – secure biometric identification system

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.