Abstract:It is hoped agent mediated e-commerce will be carried out as open systems of agents interoperating between different institutions, where different auction protocols may be in use. The authors argue that in order to put such a scenario to work, agents will need a method to automatically verify the properties of a previously unseen auction protocol. This, in turn poses the problem of automatically verifying desirable properties in order to trust a given auction mechanism. This challenge needs be addressed so that the business scenario of agent mediated e-commerce becomes a reality. In this chapter, the authors discuss salient opportunities for SMEs in addressing the issues of enabling software agents (e.g., PDAs, mobile phones) to connect to auction houses and verify desirable properties that need to hold before engaging any transactions. © 2011, IGI Global.