A Secure Mobile Payment Protocol for Handling Accountability with Formal Verification.
Chalee ThammaratChian TechapanupreedaPublished in: ICOIN (2021)
Keyphrases
- formal verification
- payment protocol
- payment systems
- mobile commerce
- formal analysis
- credit card
- model checking
- vehicular ad hoc networks
- mobile devices
- mobile users
- cryptographic protocols
- mobile phone
- electronic commerce
- formal methods
- fraud detection
- mobile applications
- mobile computing
- security requirements
- mobile services
- security issues
- online shopping
- security mechanisms
- key management
- formal specification
- mobile technologies
- outlier detection
- context aware
- knowledge based systems
- wireless sensor networks