@InProceedings{schneider+:langsec,
  author = 	 {Fred B. Schneider and Greg Morrisett and Robert Harper},
  title = 	 {A Language-Based Approach to Security},
  booktitle = 	 {Informatics -- 10 Years Back, 10 Years Ahead.  Conference on the Occasion of Dagstuhl's 10th Anniversary.},
  pages =	 {86--101},
  year =	 2000,
  editor =	 {Reinhard Wilhelm},
  volume =	 2000,
  series =	 {Lecture Notes in Computer Science},
  address =	 {Saarbr\"{u}cken, Germany},
  month =	 {August},
  publisher =	 {Springer Verlag}
}