A Conceptual Model for Secure Mobile Agent Systems

This work constitutes a part of a general research project aiming at defining a generic framework for developing secure mobile agent systems stamped with a lack of consensus about their fundamental concepts. In order to facilitate analysis, design and specification of mobile agent systems, we present in this paper a brief definition and relationship among most key concepts for modeling a mobile agent system and the interaction within such dynamic environment. In order to overcome the possible attacks that may occur in a mobile agent system, we must associate the specification of the basic concepts that ensuring security such as: agent authenticity, authority access, security policy and its various kind. The syntax and the semantic of the proposed specifications have been checked using the Z-EVES tool