@InProceedings{Cheikhrouhou:SAFECOMP06-42,
  author =       "Lassaad Cheikhrouhou and Georg Rock and Werner Stephan
                 and Matthias Schwan and Gunter Lassmann",
  title =        "Verifying a Chipcard-Based Biometric Identification
                 Protocol in {VSE}",
  booktitle =    "Computer Safety, Reliability, and Security, 25th
                 International Conference, {SAFECOMP} 2006, Gdansk,
                 Poland, September 27-29, 2006, Proceedings",
  year =         "2006",
  pages =        "42--56",
  ee =           "http://dx.doi.org/10.1007/11875567_4",
  editor =       "Janusz G{\'o}rski",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "4166",
}