A Sound Logic for Analysing Electronic Commerce Protocols.
Volker KesslerHeike NeumannPublished in: ESORICS (1998)
Keyphrases
- electronic commerce
- negotiating agents
- fair exchange protocols
- mobile commerce
- business transactions
- agent mediated
- business models
- automated negotiation
- small and medium sized enterprises
- online banking
- information technology
- agent technology
- security protocols
- negotiation protocol
- electronic payment
- fair exchange