Security modeling and analysis of mobile agent systems - Ma, Lu. (Series in electrical and computer engineering ;)