Security Analysis of a Biometric Authentication System Using UMLsec and JML.

John Lloyd Jan Jürjens

Published in: MoDELS (2009)

Keyphrases

security analysis
biometric authentication
user authentication
smart card
security requirements
authentication protocol
public key
high security
encryption scheme
biometric systems
image encryption
image features