Text this: Security Modeling and Analysis of Mobile Agent Systems