@incollection{SKMM07,
  city="Indianapolis",
  booktitle="Department of Defense Sponsored Information Security Research: New Methods for Protecting Against Cyber Threats",
  title="Language-Based Security for Malicious Mobile Code",
  author="Fred B. Schneider and Dexter Kozen and Greg Morrisett and Andrew C. Myers",
  publisher="Wiley",
  pages="477--494",
  year="2007"
}