SMS versenden: Security Modeling and Analysis of Mobile Agent Systems