A Formal Specification of Automated Auditing of Trustworthy Trade Procedures for Open Electronic Commerce.
Roger W. H. BonsFrank DignumRonald M. LeeYao-Hua TanPublished in: HICSS (1999)
Keyphrases
- electronic commerce
- formal specification
- model checking
- specification languages
- object oriented design
- mobile commerce
- business models
- formal methods
- process algebra
- concurrent systems
- reverse engineering
- small and medium sized enterprises
- electronic marketplaces
- agent technology
- negotiation protocol
- automated negotiation
- databases
- tourism industry
- access control
- electronic markets
- electronic transactions
- agent mediated
- software components
- business processes
- building blocks
- cooperative