Security Modeling of Mobile Agent Systems