Security Modeling and Analysis of Mobile Agent Systems - Lu Ma; Tsai, Jeffrey J.P (Imperial College Press, 2006)