Describir: Security Modeling and Analysis of Mobile Agent Systems