Keyphrases
- cryptographic protocols
- integrity verification
- iris recognition
- iris images
- multimodal biometrics
- high security
- security requirements
- lightweight
- model checking
- face verification
- formal verification
- iris texture
- iris biometrics
- authentication scheme
- neural network
- signature verification
- formal methods
- fingerprint verification
- identity management
- multi party
- data encryption
- image acquisition
- information systems