Mobile Code and Security

MAIL: A Mobile Agent Itinerary Language Code mobility opens up vast opportunities for the design and implementation of scalable network applications. Unlike process migration and mobile objects, mobile agents feature an proactive mobility in the sense that migration can be initiated by themselves according to their itineraries. The objective of this part of study is to develop formalisms for itinerary reasoning and assurance as an agent travels between servers in a coalition environment.