Biometric Transaction Authentication Protocol: Formal Model Verification and "Four-Eyes" Principle Extension.
Daniel HartungChristoph BuschPublished in: Financial Cryptography Workshops (2011)
Keyphrases
- formal model
- authentication protocol
- user authentication
- cryptographic protocols
- smart card
- person identification
- security analysis
- lightweight
- trusted third party
- signature verification
- public key
- security protocols
- security properties
- rfid tags
- rfid systems
- multimodal biometrics
- formal models
- biometric systems
- secret key
- model checking
- feature extraction
- palmprint
- information security
- information systems
- iris recognition
- hash functions
- distributed environment
- software development
- low cost