Zijiang Yang Shiyong Lu Ping Yang Runtime Security Verification for Itinerary-Driven Mobile Agents. 177-186 2006 conf/dasc/2006 DASC http://doi.ieeecomputersociety.org/10.1109/DASC.2006.42 db/conf/dasc/dasc2006.html#YangLY06