A formal framework for security analysis of NFC mobile coupon protocols.

Abdullah Ali Alshehri Steve A. Schneider

Published in: J. Comput. Secur. (2015)

Keyphrases

security analysis
mobile devices
mobile phone
formal model
security requirements
security properties
lightweight