Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol.
Abdullah Ali AlshehriSteve A. SchneiderPublished in: CARDIS (2013)
Keyphrases
- security analysis
- mutual authentication
- authentication protocol
- public key
- smart card
- security model
- security properties
- encryption scheme
- security requirements
- high security
- key exchange
- user authentication
- secure electronic
- rfid tags
- hash functions
- mobile devices
- elliptic curve cryptography
- digital signature
- cryptographic protocols
- security protocols
- authentication scheme
- quadtree
- information security
- lightweight