A Secure Agent-based Framework for Internet Trading in Mobile Computing Environments