Security Modeling And Analysis of Mobile Agent Systems (Electrical and Computer Engineering)