Designing and Proving an EMV-Compliant Payment Protocol for Mobile Devices.
Véronique CortierAlicia FilipiakJan FlorentSaid GharoutJacques TraoréPublished in: EuroS&P (2017)
Keyphrases
- payment protocol
- payment systems
- mobile devices
- mobile commerce
- formal analysis
- credit card
- vehicular ad hoc networks
- context aware
- mobile phone
- mobile users
- electronic commerce
- high volume
- mobile learning
- mobile services
- mobile applications
- mobile computing
- fraud detection
- learning activities
- security mechanisms
- mobile technologies
- low cost
- online shopping
- sensitive information