Үүнийг мессежээр илгээх: Security modeling and analysis of mobile agent systems