In: N. Busi and F. Martinelli (Eds.): Workshop on Issues in Security and Petri Nets (WISP'03). University of Eindhoven, The Netherlands, 2003.
Abstract: Mobile agents believed to be playing an important role in future e-commerce systems, offering great flexibility and improved performances. Mobile agents are processes which can autonomously migrate from host to host. The migration path followed by an agent can be abstracted for programming convenience into an itinerary. A flexible structure of itinerary is used in ``Concordia`` or ``Ajanta`` Agent Systems, using sequence, alternative and set entries. On the other hand, security is a fundamental precondition for the acceptance of mobile agent systems, In order to protect mobile agents, several itinerary protection protocols have been presented for each kind of entry. This papers improves the previous solutions proposing a unique general protocol using Petri nets modeling, providing a minimum route information to visit hosts, and strong protection against tampering and itinerary analysis attack.