Formal Analysis of the NetBill Electronic Commerce Protocol.
Kazuhiro OgataKokichi FutatsugiPublished in: ISSS (2003)
Keyphrases
- formal analysis
- electronic commerce
- ban logic
- mobile commerce
- fair exchange
- payment protocol
- formal methods
- online banking
- agent mediated
- electronic marketplaces
- negotiation protocol
- agent model
- electronic transactions
- business transactions
- automated negotiation
- electronic markets
- business models
- agent technology
- small and medium sized enterprises
- authentication protocol
- lightweight