Automatic Verification of Security in Payment Protocols for Electronic Commerce.
Maurizio PantiLuca SpalazziSimone TacconiSalvatore ValentiPublished in: ICEIS (2002)
Keyphrases
- electronic commerce
- electronic payment
- online banking
- electronic transactions
- mobile commerce
- security protocols
- negotiating agents
- security services
- business models
- information security
- business transactions
- agent mediated
- security issues
- authentication protocol
- small and medium sized enterprises
- mobile payment
- intrusion detection
- fair exchange protocols
- automated negotiation
- key distribution
- security requirements
- fair exchange
- key management
- tourism industry
- agent technology