A secure credit card protocol over NFC
New Directions in Cryptography