Formal analysis of card-based payment systems in mobile devices.
Vijayakrishnan PasupathinathanJosef PieprzykHuaxiong WangJoo Yeon ChoPublished in: ACSW (2006)
Keyphrases
- formal analysis
- payment systems
- mobile commerce
- mobile devices
- point of sale
- payment protocol
- mobile users
- mobile phone
- smart card
- context aware
- mobile learning
- formal methods
- security mechanisms
- agent model
- credit card
- mobile technologies
- electronic commerce
- mobile services
- m learning
- security requirements
- mobile applications
- online shopping
- learning activities
- access control
- communication technologies
- biometric authentication
- data management
- software engineering