Towards the Formal Verification of Electronic Commerce Protocols.
Dominique BolignanoPublished in: CSFW (1997)
Keyphrases
- electronic commerce
- formal verification
- model checking
- negotiating agents
- model checker
- automated verification
- bounded model checking
- business transactions
- mobile commerce
- online banking
- business models
- automated negotiation
- agent technology
- small and medium sized enterprises
- website
- electronic marketplaces
- electronic markets
- multi party
- agent mediated
- online auctions