Keyphrases
- payment protocol
- formal analysis
- credit card
- payment systems
- vehicular ad hoc networks
- mobile commerce
- mobile devices
- security mechanisms
- high volume
- fraud detection
- biometric authentication
- mobile phone
- security protocols
- formal methods
- security issues
- communication technologies
- agent model
- mobile users
- electronic commerce