@inproceedings{YangDRR05, author = {Zijiang Yang and Shiyong Lu and Ping Yang}, title = "Runtime Security Verification for Itinerary-Driven Mobile Agents", booktitle = "2nd {IEEE} Symposium on Dependable Autonomic and Secure Computing (DASC)", pages = "177--186", year = "2006" }