أرسل هذا في رسالة قصيرة: Security modeling and analysis of mobile agent systems / Lu Ma, Jeffrey J.P. Tsai.