Mobile agents offer greater opportunities for abuse and misuse, which broadens the scale of threats significantly. This book introduces the concept and structure of mobile agent systems and discusses various attacks and countermeasures. It emphasises on the formal modeling and analysis of secure mobile agent systems and their applications.