A Secure Agent-Mediated Payment Protocol.
Xiaolin PangKian-Lee TanYan WangJian RenPublished in: ICICS (2002)
Keyphrases
- agent mediated
- payment protocol
- formal analysis
- credit card
- payment systems
- electronic commerce
- mobile commerce
- vehicular ad hoc networks
- electronic payment
- negotiation model
- agent technology
- security mechanisms
- fraud detection
- automated negotiation
- cooperative
- formal methods
- software agents
- security requirements
- artificial intelligence