@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"
}