Zijiang Yang, Shiyong Lu, Ping Yang: Runtime Security Verification for Itinerary-Driven Mobile Agents. DASC 2006: 177-186