Formal Verification of Challenge Flow in EMV 3-D Secure.
Kakeru WatanabeKazuki YoneyamaPublished in: ACISP (2) (2024)
Keyphrases
- formal verification
- security mechanisms
- model checking
- comprehensive analysis
- payment protocol
- payment systems
- security issues
- cryptographic protocols
- credit card
- resource constrained
- security requirements
- formal analysis
- automated verification
- smart card
- model checker
- access control
- bounded model checking
- operating system
- security protocols
- security services
- symbolic model checking
- high volume
- key management
- temporal logic
- digital signature
- information security
- vehicular ad hoc networks
- lightweight
- distributed systems