Login / Signup

A Formal Analysis of Auditing Principles for Electronic Trade Procedures.

Roger W. H. BonsFrank DignumRonald M. LeeYao-Hua Tan
Published in: Int. J. Electron. Commer. (2000)
Keyphrases
  • formal analysis
  • design automation
  • agent model
  • formal methods
  • case study
  • database systems
  • artificial intelligence
  • machine learning
  • access control
  • electronic commerce
  • design principles
  • international trade