Login / Signup

Verifying a Chipcard-Based Biometric Identification Protocol in VSE.

Lassaad CheikhrouhouGeorg RockWerner StephanMatthias SchwanGunter Lassmann
Published in: SAFECOMP (2006)
Keyphrases
  • biometric identification
  • hand geometry
  • iris recognition
  • gait recognition
  • fingerprint identification
  • biometric systems
  • model checking
  • multimodal biometrics
  • multiresolution