A Secure Fair Exchange for SMS-Based Mobile Payment Protocols Based on Symmetric Encryption Algorithms with Formal Verification.
Chalee ThammaratWerasak KurutachPublished in: Wirel. Commun. Mob. Comput. (2018)
Keyphrases
- formal verification
- mobile payment
- encryption algorithms
- fair exchange protocols
- fair exchange
- trusted third party
- credit card
- multi party
- business models
- model checking
- electronic commerce
- data encryption
- mobile services
- image encryption
- encryption algorithm
- signature scheme
- fraud detection
- sensitive information
- dispute resolution
- data mining
- authentication scheme
- security analysis
- key distribution
- privacy preserving
- similarity search
- software engineering