Abstract
Mobile agent systems are not fully utilized because many security problems need to be solved. Mobile agent specification language (MASL) is a new specification language. Users can use it to describe their agents. Secure mobile agent generator (SMAG) system is a new mobile agent system that uses MASL to generate secure agents. The system greatly reduces the security threats of mobile agents. It also incorporates a "mobile agent generator" that accepts general functional specification for an agent, and based on, it generates the executable. By using the C# language and the .NET framework, SMAG system has been implemented. To illustrate SMAG system, a Bookshop system has been designed and implemented by using the system infrastructure.