Agent server architecture for the Ajanta mobile-agent system

This paper provides an overview of Ajanta, a Java-based mobile-agent system, and focuses in particular on the architecture of the agent server the process which hosts agents and enables them to access resources, communicate, migrate etc. The agent server's main components include an agent execution environment, an agent transfer protocol, a resource access protocol, and an agent monitoring service. Security is a major concern in the design of each of these services. The paper describes how a security architecture is integrated into the agent server design, and informally argues about its correctness based upon Java's security model.