Security modeling and analysis of mobile agent systems - Ma, Lu (Imperial College Press, 2006)